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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusMusIsrael
MusMusIsrael(mus mus israel)

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


(documentation MusMusIsrael EnglishLanguage "The City of MusMus in Israel.") CountriesAndRegions.kif 2083-2083
(geographicSubregion MusMusIsrael Israel) CountriesAndRegions.kif 3268-3268 Mus mus israel is a geographic subregion of israel
(instance MusMusIsrael City) CountriesAndRegions.kif 2082-2082 Mus mus israel is an instance of city

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


(names "Mus Mus" MusMusIsrael) CountriesAndRegions.kif 3269-3269 Mus mus israel has name "Mus Mus"
(termFormat ChineseLanguage MusMusIsrael "穆斯林以色列") domainEnglishFormat.kif 39491-39491 Mus mus israel has name "Mus Mus"
(termFormat ChineseTraditionalLanguage MusMusIsrael "穆斯林以色列") domainEnglishFormat.kif 39490-39490 Mus mus israel has name "Mus Mus"
(termFormat EnglishLanguage MusMusIsrael "mus mus israel") domainEnglishFormat.kif 39489-39489 Mus mus israel has name "Mus Mus"


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