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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Holiday
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 12605-12609
(subclass Holiday TimeInterval) Mid-level-ontology.kif 12604-12604 subclass Holiday and TimeInterval

appearance as argument number 2
-------------------------


(subclass ChristianHoliday Holiday) Media.kif 264-264 subclass ChristianHoliday and Holiday
(subclass EidAlFitr Holiday) ArabicCulture.kif 215-215 subclass EidAlFitr and Holiday
(subclass FixedHoliday Holiday) Mid-level-ontology.kif 12611-12611 subclass FixedHoliday and Holiday
(subclass JewishHoliday Holiday) Media.kif 276-276 subclass JewishHoliday and Holiday
(subclass MoveableHoliday Holiday) Mid-level-ontology.kif 12616-12616 subclass MoveableHoliday and Holiday
(subclass USHoliday Holiday) Media.kif 288-288 subclass USHoliday and Holiday
(termFormat ChineseLanguage Holiday "假日") domainEnglishFormat.kif 28285-28285
(termFormat ChineseTraditionalLanguage Holiday "假日") domainEnglishFormat.kif 28284-28284
(termFormat EnglishLanguage Holiday "holiday") domainEnglishFormat.kif 28283-28283

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


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

consequent
-------------------------


(=>
    (instance ?C HolidayCard)
    (exists (?H)
        (and
            (instance ?H Holiday)
            (refers ?C ?H))))
Mid-level-ontology.kif 12631-12636


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners