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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TacanaProperLanguage
TacanaProperLanguage

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


(documentation TacanaProperLanguage EnglishLanguage "Of the four CavinenaTacanaLanguages, three are classified as a TacanaProperLanguage.(extract from http:/ / www.ethnologue.com/ )") Languages.kif 13253-13254
(subclass TacanaProperLanguage CavinenaTacanaLanguage) Languages.kif 13252-13252 TacanaProperLanguage est une sous-classe de CavinenaTacanaLanguage

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


(instance ReyesanoLanguage TacanaProperLanguage) Languages.kif 13257-13257 ReyesanoLanguage est une instance de TacanaProperLanguage
(instance TacanaLanguage TacanaProperLanguage) Languages.kif 13266-13266 TacanaLanguage est une instance de TacanaProperLanguage
(instance ToromonoLanguage TacanaProperLanguage) Languages.kif 13273-13273 ToromonoLanguage est une instance de TacanaProperLanguage
(termFormat ChineseLanguage TacanaProperLanguage "塔卡纳语适当的语言") domainEnglishFormat.kif 56727-56727
(termFormat ChineseTraditionalLanguage TacanaProperLanguage "塔卡納語適當的語言") domainEnglishFormat.kif 56726-56726
(termFormat EnglishLanguage TacanaProperLanguage "tacana proper language") domainEnglishFormat.kif 56725-56725


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