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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GuahibanLanguage

 Sigma KEE - GuahibanLanguage
GuahibanLanguage(guahiban language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6492-6494
No TPTP formula. May not be expressible in strict first order. Languages.kif 6491-6491 Guahiban 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 6497-6497 Cuiba language is an instance of guahiban language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6515-6515 Guahibo language is an instance of guahiban language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6535-6535 Guayabero language is an instance of guahiban language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6548-6548 Macaguan language is an instance of guahiban language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6558-6558 Playero language is an instance of guahiban language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26850-26850
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26849-26849
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26848-26848


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