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 est une sous-classe de SpokenHumanLanguage

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


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