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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PebaYaguanLanguage

 Sigma KEE - PebaYaguanLanguage
PebaYaguanLanguage(peba yaguan language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12553-12555
No TPTP formula. May not be expressible in strict first order. Languages.kif 12552-12552 Peba yaguan 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 12558-12558 Yagua language is an instance of peba yaguan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 12570-12570 Yameo language is an instance of peba yaguan language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44958-44958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44957-44957
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44956-44956


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