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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - nationalCelebration
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 551-554
(domain nationalCelebration 1 GeopoliticalArea) Government.kif 547-547 The number 1 argument of national celebration is an instance of geopolitical area
(domainSubclass nationalCelebration 2 Holiday) Government.kif 548-548 The number 2 argument of national celebration is a subclass of holiday
(instance nationalCelebration BinaryPredicate) Government.kif 546-546 national celebration is an instance of binary predicate
(subrelation nationalCelebration nationalHoliday) Government.kif 549-549 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 39724-39724
(termFormat ChineseTraditionalLanguage nationalCelebration "全國慶典") domainEnglishFormat.kif 39723-39723
(termFormat EnglishLanguage nationalCelebration "national celebration") domainEnglishFormat.kif 39722-39722


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