FixedHoliday
|
|
appearance as argument number 1 |
(documentation FixedHoliday EnglishLanguage "FixedHoliday is the class of Holidays whose observance is fixed to recurrences of the calendar day that the holiday commemorates. See commemoratesDate.") | Mid-level-ontology.kif 14883-14885 | |
(subclass FixedHoliday Holiday) | Mid-level-ontology.kif 14882-14882 | FixedHoliday e' uma sub-classe de Holiday |
appearance as argument number 2 |
(subclass ChristmasDay FixedHoliday) | Media.kif 336-336 | ChristmasDay e' uma sub-classe de FixedHoliday |
(subclass Epiphany FixedHoliday) | Media.kif 518-518 | Epiphany e' uma sub-classe de FixedHoliday |
(termFormat ChineseLanguage FixedHoliday "固定假期") | domainEnglishFormat.kif 24116-24116 | |
(termFormat ChineseTraditionalLanguage FixedHoliday "固定假期") | domainEnglishFormat.kif 24115-24115 | |
(termFormat EnglishLanguage FixedHoliday "fixed holiday") | domainEnglishFormat.kif 24114-24114 |
antecedent |
(=> (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 583-589 |
|