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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinicaMuruiLanguage
MinicaMuruiLanguage

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


(documentation MinicaMuruiLanguage EnglishLanguage "A MinicaMuruiLanguage is either of two closely related WitotoProperLanguages.(extract from http:/ / www.ethnologue.com/ )") Languages.kif 14118-14119
(subclass MinicaMuruiLanguage WitotoProperLanguage) Languages.kif 14117-14117

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


(instance MinicaHuitotoLanguage MinicaMuruiLanguage) Languages.kif 14122-14122
(instance MuruiHuitotoLanguage MinicaMuruiLanguage) Languages.kif 14134-14134
(termFormat ChineseLanguage MinicaMuruiLanguage "minica murui 语言") domainEnglishFormat.kif 37859-37859
(termFormat ChineseTraditionalLanguage MinicaMuruiLanguage "minica murui 語言") domainEnglishFormat.kif 37858-37858
(termFormat EnglishLanguage MinicaMuruiLanguage "minica murui language") domainEnglishFormat.kif 37857-37857


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