nationalCelebration |
appearance as argument number 1 |
(documentation nationalCelebration EnglishLanguage "(nationalCelebration ?AREA ?HOLIDAY) means that the primary day of national celebration in the GeopoliticalArea ?AREA is ?HOLIDAY. For example, (nationalCelebration Afghanistan AfghanIndependenceDay).") | Government.kif 564-567 | |
(domain nationalCelebration 1 GeopoliticalArea) | Government.kif 560-560 | nationalCelebration の数値 1 引数は 地政学的地域 の instance では %n |
(domainSubclass nationalCelebration 2 Holiday) | Government.kif 561-561 | nationalCelebration の数値 2 引数は Holiday のsubclass では %n |
(instance nationalCelebration BinaryPredicate) | Government.kif 559-559 | nationalCelebration は 2進述語 の instance では %n |
(subrelation nationalCelebration nationalHoliday) | Government.kif 562-562 | nationalCelebration は nationalHoliday の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage nationalCelebration "%2 %n 是 %1 的 national 庆祝") | domainEnglishFormat.kif 1775-1775 | |
(format ChineseTraditionalLanguage nationalCelebration "%2 %n 是 %1 的 national 慶祝") | domainEnglishFormat.kif 1774-1774 | |
(format EnglishLanguage nationalCelebration "%2 is %n a national celebration of %1") | domainEnglishFormat.kif 1773-1773 | |
(termFormat ChineseLanguage nationalCelebration "全国庆典") | domainEnglishFormat.kif 39807-39807 | |
(termFormat ChineseTraditionalLanguage nationalCelebration "全國慶典") | domainEnglishFormat.kif 39806-39806 | |
(termFormat EnglishLanguage nationalCelebration "national celebration") | domainEnglishFormat.kif 39805-39805 |