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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JivaroanLanguage

 Sigma KEE - JivaroanLanguage
JivaroanLanguage(jivaroan语言)

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语言 是 口语人类语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11526-11526 Achuar shiwiar 语言 是 jivaroan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 11544-11544 Aguaruna语言 是 jivaroan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 11556-11556 Huambisa语言 是 jivaroan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 11566-11566 舒尔语 是 jivaroan语言 的 instance
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