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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KiowaTanoanLanguage

 Sigma KEE - KiowaTanoanLanguage
KiowaTanoanLanguage

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 KiowaTanoanLanguage e' uma sub-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11659-11659 BaibaiGroupLanguage e' uma sub-classe de KiowaTanoanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11680-11680 KwomtariGroupLanguage e' uma sub-classe de KiowaTanoanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11712-11712 PyuGroupLanguage e' uma sub-classe de KiowaTanoanLanguage
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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