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


KB Term:  Term intersection
English Word: 

Sigma KEE - nationalHoliday
nationalHoliday

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


(instance nationalHoliday BinaryPredicate) Government.kif 533-533 national holiday is an instance of binary predicate
(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
(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 The number 2 argument of national holiday is a subclass of holiday

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


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

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


(=>
    (and
        (nationalHoliday ?AREA ?HOLIDAY)
        (instance ?DAY ?HOLIDAY))
    (holidayTimeInArea ?AREA ?DAY))
Government.kif 601-605 If X is a national holiday of Y and Z is an instance of X, then Z is a holiday time in area of Y

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 If X is an instance of nation and At least one of the following holds: (1) X is a geographic subregion of north america (2) X is a geographic subregion of south america (3) X is a geographic subregion of western europe, then Christmas day is a national holiday of X holds during the time of existence of X