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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 571-576
(domain nationalHoliday 1 GeopoliticalArea) Government.kif 568-568 法定节假日 的 1 数量 是 地缘政治区域instance
(domainSubclass nationalHoliday 2 Holiday) Government.kif 569-569 法定节假日 的 2 数量 是 假日subclass
(instance nationalHoliday BinaryPredicate) Government.kif 567-567 法定节假日二元谓语instance

appearance as argument number 2

(format ChineseLanguage nationalHoliday "%2 %n 是 %1 的 national 节日") domainEnglishFormat.kif 1779-1779
(format ChineseTraditionalLanguage nationalHoliday "%2 %n 是 %1 的 national 節日") domainEnglishFormat.kif 1778-1778
(format EnglishLanguage nationalHoliday "%2 is %n a national holiday of %1") domainEnglishFormat.kif 1777-1777
(subrelation nationalCelebration nationalHoliday) Government.kif 560-560 全国庆典法定节假日subrelation
(termFormat ChineseLanguage nationalHoliday "法定节假日") domainEnglishFormat.kif 39816-39816
(termFormat ChineseTraditionalLanguage nationalHoliday "法定節假日") domainEnglishFormat.kif 39815-39815
(termFormat EnglishLanguage nationalHoliday "national holiday") domainEnglishFormat.kif 39814-39814


        (nationalHoliday ?AREA ?HOLIDAY)
        (instance ?DAY ?HOLIDAY))
    (holidayTimeInArea ?AREA ?DAY))
Government.kif 635-639


        (instance ?NATION Nation)
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))
Media.kif 349-357