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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CavinenaGroupLanguage

Sigma KEE - CavinenaGroupLanguage
CavinenaGroupLanguage(cavinena group language)

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 group language is a subclass of cavinena tacana language

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


(instance CavinenaLanguage CavinenaGroupLanguage) Languages.kif 13239-13239 Cavinena language is an instance of cavinena group language
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

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