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 14848-14852
(subclass Holiday TimeInterval) Mid-level-ontology.kif 14847-14847 假日时距subclass

appearance as argument number 2

(subclass ChristianHoliday Holiday) Media.kif 264-264 ChristianHoliday假日subclass
(subclass EidAlFitr Holiday) ArabicCulture.kif 228-228 开斋节假日subclass
(subclass FixedHoliday Holiday) Mid-level-ontology.kif 14854-14854 固定假期假日subclass
(subclass JewishHoliday Holiday) Media.kif 276-276 JewishHoliday假日subclass
(subclass MoveableHoliday Holiday) Mid-level-ontology.kif 14859-14859 可动的假期假日subclass
(subclass USHoliday Holiday) Media.kif 288-288 USHoliday假日subclass
(termFormat ChineseLanguage Holiday "假日") domainEnglishFormat.kif 28383-28383
(termFormat ChineseTraditionalLanguage Holiday "假日") domainEnglishFormat.kif 28382-28382
(termFormat EnglishLanguage Holiday "holiday") domainEnglishFormat.kif 28381-28381

appearance as argument number 3

(domain observesHoliday 2 Holiday) Media.kif 239-239 observesHoliday 的 2 数量 是 假日instance
(domainSubclass commemoratesDate 1 Holiday) Government.kif 603-603 纪念约会 的 1 数量 是 假日subclass
(domainSubclass nationalCelebration 2 Holiday) Government.kif 561-561 全国庆典 的 2 数量 是 假日subclass
(domainSubclass nationalHoliday 2 Holiday) Government.kif 571-571 法定节假日 的 2 数量 是 假日subclass


    (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 14874-14879

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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