Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 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