| 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 16229-16231 | |
| (subclass FixedHoliday Holiday) | Mid-level-ontology.kif 16228-16228 | FixedHoliday は Holiday の subclass では |
| appearance as argument number 2 |
|
|
| (subclass ChristmasDay FixedHoliday) | Media.kif 336-336 | ChristmasDay は FixedHoliday の subclass では |
| (subclass Epiphany FixedHoliday) | Media.kif 518-518 | Epiphany は FixedHoliday の subclass では |
| (termFormat ChineseLanguage FixedHoliday "固定假期") | domainEnglishFormat.kif 24121-24121 | Epiphany は FixedHoliday の subclass では |
| (termFormat ChineseTraditionalLanguage FixedHoliday "固定假期") | domainEnglishFormat.kif 24120-24120 | Epiphany は FixedHoliday の subclass では |
| (termFormat EnglishLanguage FixedHoliday "fixed holiday") | domainEnglishFormat.kif 24119-24119 | Epiphany は FixedHoliday の subclass では |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners