(=> (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 | |
(subclass FixedHoliday Holiday) | Mid-level-ontology.kif 14855-14855 | FixedHoliday は Holiday の subclass では %n |
(subclass ChristmasDay FixedHoliday) | Media.kif 336-336 | ChristmasDay は FixedHoliday の subclass では %n |
(subclass Epiphany FixedHoliday) | Media.kif 518-518 | Epiphany は FixedHoliday の subclass では %n |