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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TiatinaguaLanguage

appearance as argument number 1

(documentation TiatinaguaLanguage EnglishLanguage "Of the six TacananLanguages, one is classified as a TiatinaguaLanguage.(extract from http:/ / )") Languages.kif 13274-13275
(subclass TiatinaguaLanguage TacananLanguage) Languages.kif 13273-13273 subclass TiatinaguaLanguage and TacananLanguage

appearance as argument number 2

(instance EseEjjaLanguage TiatinaguaLanguage) Languages.kif 13278-13278 instance EseEjjaLanguage and TiatinaguaLanguage
(termFormat ChineseLanguage TiatinaguaLanguage "tiatinagua语言") domainEnglishFormat.kif 57885-57885
(termFormat ChineseTraditionalLanguage TiatinaguaLanguage "tiatinagua語言") domainEnglishFormat.kif 57884-57884
(termFormat EnglishLanguage TiatinaguaLanguage "tiatinagua language") domainEnglishFormat.kif 57883-57883

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