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
(domainSubclass nationalCelebration 2 Holiday) Government.kif 548-548
(instance nationalCelebration BinaryPredicate) Government.kif 546-546
(subrelation nationalCelebration nationalHoliday) Government.kif 549-549

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 39703-39703
(termFormat ChineseTraditionalLanguage nationalCelebration "全國慶典") domainEnglishFormat.kif 39702-39702
(termFormat EnglishLanguage nationalCelebration "national celebration") domainEnglishFormat.kif 39701-39701


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners