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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JivaroanLanguage

Sigma KEE - JivaroanLanguage
JivaroanLanguage

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

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11526-11526 AchuarShiwiarLanguage e' uma instancia de JivaroanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11544-11544 AguarunaLanguage e' uma instancia de JivaroanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11556-11556 HuambisaLanguage e' uma instancia de JivaroanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 11566-11566 ShuarLanguage e' uma instancia de JivaroanLanguage
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