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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MatacoLanguage

appearance as argument number 1

(documentation MatacoLanguage EnglishLanguage "Of the 11 MatacoGuaicuruLanguages, seven are classified as a MatacoLanguage.(extract from http:/ / )") Languages.kif 12074-12075
(subclass MatacoLanguage MatacoGuaicuruLanguage) Languages.kif 12073-12073

appearance as argument number 2

(instance ChulupiLanguage MatacoLanguage) Languages.kif 12078-12078
(instance IyojwajaChoroteLanguage MatacoLanguage) Languages.kif 12111-12111
(instance IyowujwaChoroteLanguage MatacoLanguage) Languages.kif 12094-12094
(instance MacaLanguage MatacoLanguage) Languages.kif 12121-12121
(instance WichiLhamtesGuisnayLanguage MatacoLanguage) Languages.kif 12132-12132
(instance WichiLhamtesNoctenLanguage MatacoLanguage) Languages.kif 12141-12141
(instance WichiLhamtesVejozLanguage MatacoLanguage) Languages.kif 12152-12152
(termFormat ChineseLanguage MatacoLanguage "mataco语言") domainEnglishFormat.kif 36427-36427
(termFormat ChineseTraditionalLanguage MatacoLanguage "mataco語言") domainEnglishFormat.kif 36426-36426
(termFormat EnglishLanguage MatacoLanguage "mataco language") domainEnglishFormat.kif 36425-36425

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