First, locate or create the constant January, and verify these facts are present, asserting them if necessary:
(#$isa #$January #$MonthOfYearType) (#$genls #$MonthOfYearType #$TemporalObjectType) (#$genls #$January #$CalendarMonth)Next, locate or create the constant NewYearsDay, and assert, if necessary:
(#$isa #$NewYearsDay #$TemporalObjectType)
Now locate or create the GeneralMicrotheory NorthernHemisphereMt; after creating it, assert:
(#$isa #$NorthernHemisphereMt #$GeneralMicrotheory)In this Mt, assert:
(#$subsumesIntervalType #$CalendarWinter #$January)Next, create the GeneralMicrotheory WesternCultureMt; as with NorthernHemisphereMt, assert:
(#$isa #$WesternCultureMt #$GeneralMicrotheory)In this Mt, assert:
(#$genls #$NewYearsDay #$LegalHoliday) (#$subsumesIntervalType #$January #$NewYearsDay)Now create NorthAmericanCultureMt as an instance of GeneralMicrotheory .
Make NorthernHemisphereMt and WesternCultureMt genlMts of NorthAmericanCultureMt.
Go to the Ask interface, and set these resource constraints:
In NorthAmericanCultureMt ask:
(#$intersectsIntervalType #$CalendarWinter #$NewYearsDay)The bindings found should be (((T.T))).
Examine #$NewYearsDay, and view the arguments for any newly concluded assertions.
Now try the ASK in BaseKB, NorthernHemisphereMt, and WesternCultureMt.
Did you get an answer?
Now ask if NewYearsDay is a LegalHoliday in BaseKB; in NorthAmericanCultureMt:
(#$genls #$NewYearsDay #$LegalHoliday)If we create AustralianLifeMt, which existing Mts would be its genlMts? What other Mts would we want to add as its genlMts? Which assertions should hold true of NewYearsDay in AustralianLifeMt?
If we create ArabianPeninsulaLifeMt, which existing Mts would be its genlMts? What other Mts would we want to add as its genlMts? Which assertions should hold true of NewYearsDay in ArabianPeninsulaLifeMt?