Sigma KB Term Intersection

(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (subclass ?HOLIDAY FixedHoliday) (lessThanOrEqualTo ?YEAR ?LATER-YEAR)) (instance ?DATE (DayFn ?DAY (MonthFn ?MONTH (YearFn ?LATER-YEAR)))))	Government.kif 619-625	Wenn commemoratesDate Holiday and der tag PositiveInteger und Entity ist ein fall von Holiday %n{nicht} und Holiday ist eine teilkategorie von FixedHoliday und Integer ist kleinerAlsOderGleich entity-YEAR %n{nicht}, dann Entity ist ein fall von der tag ** PositiveInteger %n{nicht}
(subclass FixedHoliday Holiday)	Mid-level-ontology.kif 14855-14855	FixedHoliday ist eine teilkategorie von Holiday
(subclass ChristmasDay FixedHoliday)	Media.kif 336-336	ChristmasDay ist eine teilkategorie von FixedHoliday
(subclass Epiphany FixedHoliday)	Media.kif 518-518	Epiphany ist eine teilkategorie von FixedHoliday