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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JivaroanLanguage

 Sigma KEE - JivaroanLanguage
JivaroanLanguage(jivaroan language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11521-11523
No TPTP formula. May not be expressible in strict first order. Languages.kif 11520-11520 Jivaroan 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 11526-11526 Achuar shiwiar language is an instance of jivaroan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 11544-11544 Aguaruna language is an instance of jivaroan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 11556-11556 Huambisa language is an instance of jivaroan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 11566-11566 Shuar language is an instance of jivaroan language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31639-31639
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31638-31638
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31637-31637


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