| 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 | The number 1 argument of national celebration is an instance of geopolitical area |
| (domainSubclass nationalCelebration 2 Holiday) | Government.kif 561-561 | The number 2 argument of national celebration is a subclass of holiday |
| (instance nationalCelebration BinaryPredicate) | Government.kif 559-559 | national celebration is an instance of binary predicate |
| (subrelation nationalCelebration nationalHoliday) | Government.kif 562-562 | national celebration is a subrelation of national holiday |
| 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 39819-39819 | |
| (termFormat ChineseTraditionalLanguage nationalCelebration "全國慶典") | domainEnglishFormat.kif 39818-39818 | |
| (termFormat EnglishLanguage nationalCelebration "national celebration") | domainEnglishFormat.kif 39817-39817 |
|
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