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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - nationalHoliday
nationalHoliday

appearance as argument number 1
-------------------------


(documentation nationalHoliday EnglishLanguage "(nationalHoliday ?AREA ?HOLIDAY) means that ?HOLIDAY is a national holiday observed in ?AREA. The GeopoliticalArea ?AREA observes a holiday on days specified as a ?HOLIDAY, during which national government offices and other facilities typically are closed. There may be multiple nationalHolidays. For example, (nationalHoliday UnitedStates UnitedStatesMemorialDay).") Government.kif 537-542
(domain nationalHoliday 1 GeopoliticalArea) Government.kif 534-534 The number 1 argument of national holiday is an instance of geopolitical area
(domainSubclass nationalHoliday 2 Holiday) Government.kif 535-535 The number 2 argument of national holiday is a subclass of holiday
(instance nationalHoliday BinaryPredicate) Government.kif 533-533 national holiday is an instance of binary predicate

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


(format ChineseLanguage nationalHoliday "%2 %n 是 %1 的 national 节日") domainEnglishFormat.kif 1783-1783
(format ChineseTraditionalLanguage nationalHoliday "%2 %n 是 %1 的 national 節日") domainEnglishFormat.kif 1782-1782
(format EnglishLanguage nationalHoliday "%2 is %n a national holiday of %1") domainEnglishFormat.kif 1781-1781
(subrelation nationalCelebration nationalHoliday) Government.kif 526-526 national celebration is a subrelation of national holiday
(termFormat ChineseLanguage nationalHoliday "法定节假日") domainEnglishFormat.kif 39844-39844 national celebration is a subrelation of national holiday
(termFormat ChineseTraditionalLanguage nationalHoliday "法定節假日") domainEnglishFormat.kif 39843-39843 national celebration is a subrelation of national holiday
(termFormat EnglishLanguage nationalHoliday "national holiday") domainEnglishFormat.kif 39842-39842 national celebration is a subrelation of national holiday

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


(=>
    (and
        (nationalHoliday ?AREA ?HOLIDAY)
        (instance ?DAY ?HOLIDAY))
    (holidayTimeInArea ?AREA ?DAY))
Government.kif 601-605

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


(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))
Media.kif 349-357

appearance as argument number 0
-------------------------


(nationalHoliday Australia ChristmasDay) Media.kif 359-359 Christmas day is a &ationalHoliday$"national" holiday of australia
(nationalHoliday NewZealand ChristmasDay) Media.kif 360-360 Christmas day is a &ationalHoliday$"national" holiday of new zealand


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