TreeView Knowledge Base Browser

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	Die Zahl 1 Argument von nationalHoliday ist ein fall von GeopoliticalArea %n{nicht}
(domainSubclass nationalHoliday 2 Holiday)	Government.kif 535-535	Die Zahl 2 Argument von nationalHoliday ist eine teilkategorie von Holiday %n{nicht}
(instance nationalHoliday BinaryPredicate)	Government.kif 533-533	nationalHoliday ist ein fall von BinaryPredicate %n{nicht}

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 526-526	nationalCelebration ist eine teilrelation von nationalHoliday
(termFormat ChineseLanguage nationalHoliday "法定节假日")	domainEnglishFormat.kif 39833-39833
(termFormat ChineseTraditionalLanguage nationalHoliday "法定節假日")	domainEnglishFormat.kif 39832-39832
(termFormat EnglishLanguage nationalHoliday "national holiday")	domainEnglishFormat.kif 39831-39831

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	nationalHoliday Australia and ChristmasDay
(nationalHoliday NewZealand ChristmasDay)	Media.kif 360-360	nationalHoliday NewZealand and ChristmasDay