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

Formal Language: 



KB Term:  Term intersection
English Word: 

  anthem

 Sigma KEE - anthem
anthem

appearance as argument number 1
-------------------------


(documentation anthem EnglishLanguage "(anthem ?M ?O) means that Music ?M is adopted as a song that represents Object ?O. This is most commonly used for Nations and royal families.") Music.kif 350-352
(domain anthem 1 Music) Music.kif 356-356 域 anthem, 1 and Music
(domain anthem 2 Object) Music.kif 357-357 域 anthem, 2 and Object
(instance anthem BinaryPredicate) Music.kif 355-355 例 anthem and BinaryPredicate
(subrelation anthem represents) Music.kif 349-349 子關係 anthem and 代表

appearance as argument number 2
-------------------------


(format ChineseLanguage anthem "%1 是 %2 的 anthem ") domainEnglishFormat.kif 2806-2806
(format ChineseTraditionalLanguage anthem "%1 是 %2 的 anthem ") domainEnglishFormat.kif 2805-2805
(format EnglishLanguage anthem "%1 is the anthem of %2") domainEnglishFormat.kif 2804-2804
(termFormat EnglishLanguage anthem "anthem") Music.kif 353-353

Show without tree


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