Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MoveableHoliday

appearance as argument number 1

(documentation MoveableHoliday EnglishLanguage "MoveableHoliday is the class of Holidays whose observance is not fixed to recurrences of any particular calendar day. For example, UnitedStatesMemorialDay is observed on the last Monday of May.") Mid-level-ontology.kif 14832-14835
(subclass MoveableHoliday Holiday) Mid-level-ontology.kif 14831-14831

appearance as argument number 2

(subclass Advent MoveableHoliday) Media.kif 297-297
(subclass AdventSunday MoveableHoliday) Media.kif 312-312
(subclass AscensionThursday MoveableHoliday) Media.kif 529-529
(subclass EasterSunday MoveableHoliday) Media.kif 486-486
(subclass Hanukkah MoveableHoliday) Media.kif 571-571
(subclass Lent MoveableHoliday) Media.kif 414-414
(subclass PalmSunday MoveableHoliday) Media.kif 461-461
(subclass Passover MoveableHoliday) Media.kif 600-600
(subclass Pentecost MoveableHoliday) Media.kif 550-550
(subclass USThanksgivingDay MoveableHoliday) Media.kif 620-620
(termFormat ChineseLanguage MoveableHoliday "可动的假期") domainEnglishFormat.kif 39033-39033
(termFormat ChineseTraditionalLanguage MoveableHoliday "可動的假期") domainEnglishFormat.kif 39032-39032
(termFormat EnglishLanguage MoveableHoliday "moveable holiday") domainEnglishFormat.kif 39031-39031

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