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 573-578 | |
(domain nationalHoliday 1 GeopoliticalArea) | Government.kif 570-570 | Il numero 1 argomenti di nationalHoliday è un istanza di AreaGeopolitica |
(domainSubclass nationalHoliday 2 Holiday) | Government.kif 571-571 | Il numero 2 argomento nationalHoliday è una sottoclasse diHoliday |
(instance nationalHoliday BinaryPredicate) | Government.kif 569-569 | nationalHoliday è un' istanza di PredicatoBinario |
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 562-562 | nationalCelebration è una sottorelazione di nationalHoliday |
(termFormat ChineseLanguage nationalHoliday "法定节假日") | domainEnglishFormat.kif 39831-39831 | |
(termFormat ChineseTraditionalLanguage nationalHoliday "法定節假日") | domainEnglishFormat.kif 39830-39830 | |
(termFormat EnglishLanguage nationalHoliday "national holiday") | domainEnglishFormat.kif 39829-39829 |
antecedent |
(=> (and (nationalHoliday ?AREA ?HOLIDAY) (instance ?DAY ?HOLIDAY)) (holidayTimeInArea ?AREA ?DAY)) |
Government.kif 637-641 |
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 |