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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Holiday

appearance as argument number 1

(documentation Holiday EnglishLanguage "Holiday is the class of time periods that are observed as holidays in a country, culture, or religion. Holidays may recur annually on the same date, or they may be moveable, for example, UnitedStatesThanksgivingDay falls on the last Thursday of each November.") Mid-level-ontology.kif 14148-14152
(subclass Holiday TimeInterval) Mid-level-ontology.kif 14147-14147

appearance as argument number 2

(subclass ChristianHoliday Holiday) Media.kif 264-264
(subclass EidAlFitr Holiday) ArabicCulture.kif 217-217
(subclass FixedHoliday Holiday) Mid-level-ontology.kif 14154-14154
(subclass JewishHoliday Holiday) Media.kif 276-276
(subclass MoveableHoliday Holiday) Mid-level-ontology.kif 14159-14159
(subclass USHoliday Holiday) Media.kif 288-288
(termFormat ChineseLanguage Holiday "假日") domainEnglishFormat.kif 28374-28374
(termFormat ChineseTraditionalLanguage Holiday "假日") domainEnglishFormat.kif 28373-28373
(termFormat EnglishLanguage Holiday "holiday") domainEnglishFormat.kif 28372-28372

appearance as argument number 3

(domain commemoratesDate 1 Holiday) Government.kif 590-590
(domain observesHoliday 2 Holiday) Media.kif 239-239
(domainSubclass nationalCelebration 2 Holiday) Government.kif 548-548
(domainSubclass nationalHoliday 2 Holiday) Government.kif 558-558


    (instance ?T1 Holiday)
    (exists (?A)
        (observesHoliday ?A ?T1)))
Media.kif 249-252


    (instance ?C HolidayCard)
    (exists (?H)
            (instance ?H Holiday)
            (refers ?C ?H))))
Mid-level-ontology.kif 14174-14179

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