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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CavinenaGroupLanguage
CavinenaGroupLanguage(cavinena 团体语言)

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


(documentation CavinenaGroupLanguage EnglishLanguage "Of the four CavinenaTacanaLanguages, one is classified as a CavinenaGroupLanguage.(extract from http:/ / www.ethnologue.com/ )") Languages.kif 13235-13236
(subclass CavinenaGroupLanguage CavinenaTacanaLanguage) Languages.kif 13234-13234 Cavinena 团体语言cavinena tacana 语言subclass

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


(instance CavinenaLanguage CavinenaGroupLanguage) Languages.kif 13239-13239 Cavinena语言cavinena 团体语言instance
(termFormat ChineseLanguage CavinenaGroupLanguage "cavinena 团体语言") domainEnglishFormat.kif 13560-13560
(termFormat ChineseTraditionalLanguage CavinenaGroupLanguage "cavinena 團體語言") domainEnglishFormat.kif 13559-13559
(termFormat EnglishLanguage CavinenaGroupLanguage "cavinena group language") domainEnglishFormat.kif 13558-13558


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