| 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 | The number 1 argument of national celebration is an instance of geopolitical area |
| (domainSubclass nationalCelebration 2 Holiday) | Government.kif 525-525 | The number 2 argument of national celebration is a subclass of holiday |
| (instance nationalCelebration BinaryPredicate) | Government.kif 523-523 | national celebration is an instance of binary predicate |
| (subrelation nationalCelebration nationalHoliday) | Government.kif 526-526 | 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 39809-39809 | |
| (termFormat ChineseTraditionalLanguage nationalCelebration "全國慶典") | domainEnglishFormat.kif 39808-39808 | |
| (termFormat EnglishLanguage nationalCelebration "national celebration") | domainEnglishFormat.kif 39807-39807 |
|
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