| 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 528-531 | |
| (domain nationalCelebration 1 GeopoliticalArea) | Government.kif 524-524 | 全国庆典 的 1 数量 是 地缘政治区域 的 instance |
| (domainSubclass nationalCelebration 2 Holiday) | Government.kif 525-525 | 全国庆典 的 2 数量 是 假日 的 subclass |
| (instance nationalCelebration BinaryPredicate) | Government.kif 523-523 | 全国庆典 是 二元谓语 的 instance |
| (subrelation nationalCelebration nationalHoliday) | Government.kif 526-526 | 全国庆典 是 法定节假日 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage nationalCelebration "%2 %n 是 %1 的 national 庆祝") | domainEnglishFormat.kif 1779-1779 | |
| (format ChineseTraditionalLanguage nationalCelebration "%2 %n 是 %1 的 national 慶祝") | domainEnglishFormat.kif 1778-1778 | |
| (format EnglishLanguage nationalCelebration "%2 is %n a national celebration of %1") | domainEnglishFormat.kif 1777-1777 | |
| (termFormat ChineseLanguage nationalCelebration "全国庆典") | domainEnglishFormat.kif 39820-39820 | |
| (termFormat ChineseTraditionalLanguage nationalCelebration "全國慶典") | domainEnglishFormat.kif 39819-39819 | |
| (termFormat EnglishLanguage nationalCelebration "national celebration") | domainEnglishFormat.kif 39818-39818 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners