| 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 | Die Zahl 1 Argument von nationalCelebration ist ein fall von GeopoliticalArea %n{nicht} |
| (domainSubclass nationalCelebration 2 Holiday) | Government.kif 525-525 | Die Zahl 2 Argument von nationalCelebration ist eine teilkategorie von Holiday %n{nicht} |
| (instance nationalCelebration BinaryPredicate) | Government.kif 523-523 | nationalCelebration ist ein fall von BinaryPredicate %n{nicht} |
| (subrelation nationalCelebration nationalHoliday) | Government.kif 526-526 | nationalCelebration ist eine teilrelation von nationalHoliday |
| 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