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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CavinenaTacanaLanguage

appearance as argument number 1

(documentation CavinenaTacanaLanguage EnglishLanguage "Of the five AraonaTacanaLanguages, four are classified as a CavinenaTacanaLanguage.(extract from http:/ / )") Languages.kif 13221-13222
(subclass CavinenaTacanaLanguage TacananLanguage) Languages.kif 13220-13220 subclass CavinenaTacanaLanguage and TacananLanguage

appearance as argument number 2

(subclass CavinenaGroupLanguage CavinenaTacanaLanguage) Languages.kif 13226-13226 subclass CavinenaGroupLanguage and CavinenaTacanaLanguage
(subclass TacanaProperLanguage CavinenaTacanaLanguage) Languages.kif 13244-13244 subclass TacanaProperLanguage and CavinenaTacanaLanguage
(termFormat ChineseLanguage CavinenaTacanaLanguage "cavinena tacana 语言") domainEnglishFormat.kif 13507-13507
(termFormat ChineseTraditionalLanguage CavinenaTacanaLanguage "cavinena tacana 語言") domainEnglishFormat.kif 13506-13506
(termFormat EnglishLanguage CavinenaTacanaLanguage "cavinena tacana language") domainEnglishFormat.kif 13505-13505

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners