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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PebaYaguanLanguage

 Sigma KEE - PebaYaguanLanguage
PebaYaguanLanguage

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

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12558-12558 YaguaLanguage e' uma instancia de PebaYaguanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 12570-12570 YameoLanguage e' uma instancia de PebaYaguanLanguage
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