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 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 | national celebration is a subrelation of national holiday |
(termFormat ChineseLanguage nationalHoliday "法定节假日") | domainEnglishFormat.kif 39869-39869 | national celebration is a subrelation of national holiday |
(termFormat ChineseTraditionalLanguage nationalHoliday "法定節假日") | domainEnglishFormat.kif 39868-39868 | national celebration is a subrelation of national holiday |
(termFormat EnglishLanguage nationalHoliday "national holiday") | domainEnglishFormat.kif 39867-39867 | 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 national holiday of australia |
(nationalHoliday NewZealand ChristmasDay) | Media.kif 360-360 | Christmas day is a national holiday of new zealand |