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 16222-16226
(subclass Holiday TimeInterval) Mid-level-ontology.kif 16221-16221 Holiday時間間隔subclass では

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


(subclass ChristianHoliday Holiday) Media.kif 264-264 ChristianHolidayHolidaysubclass では
(subclass EidAlFitr Holiday) ArabicCulture.kif 228-228 EidAlFitrHolidaysubclass では
(subclass FixedHoliday Holiday) Mid-level-ontology.kif 16228-16228 FixedHolidayHolidaysubclass では
(subclass JewishHoliday Holiday) Media.kif 276-276 JewishHolidayHolidaysubclass では
(subclass MoveableHoliday Holiday) Mid-level-ontology.kif 16233-16233 MoveableHolidayHolidaysubclass では
(subclass USHoliday Holiday) Media.kif 288-288 USHolidayHolidaysubclass では
(termFormat ChineseLanguage Holiday "假日") domainEnglishFormat.kif 28394-28394 USHolidayHolidaysubclass では
(termFormat ChineseTraditionalLanguage Holiday "假日") domainEnglishFormat.kif 28393-28393 USHolidayHolidaysubclass では
(termFormat EnglishLanguage Holiday "holiday") domainEnglishFormat.kif 28392-28392 USHolidayHolidaysubclass では

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


(domain observesHoliday 2 Holiday) Media.kif 239-239 observesHoliday の数値 2 引数は Holidayinstance では
(domainSubclass commemoratesDate 1 Holiday) Government.kif 567-567 commemoratesDate の数値 1 引数は Holidaysubclass では
(domainSubclass nationalCelebration 2 Holiday) Government.kif 525-525 nationalCelebration の数値 2 引数は Holidaysubclass では
(domainSubclass nationalHoliday 2 Holiday) Government.kif 535-535 nationalHoliday の数値 2 引数は Holidaysubclass では

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 16248-16253


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