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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KiowaTanoanLanguage
KiowaTanoanLanguage(kiowa tanoan language)Kiowa, Tanoan, Tanoan_language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11653-11655
No TPTP formula. May not be expressible in strict first order. Languages.kif 11652-11652 Kiowa tanoan language is a subclass of spoken human language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11659-11659 Baibai group language is a subclass of kiowa tanoan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 11680-11680 Kwomtari group language is a subclass of kiowa tanoan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 11712-11712 Pyu group language is a subclass of kiowa tanoan language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32581-32581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32580-32580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32579-32579


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