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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BarbacoanLanguage

 Sigma KEE - BarbacoanLanguage
BarbacoanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5768-5770
No TPTP formula. May not be expressible in strict first order. Languages.kif 5767-5767 BarbacoanLanguage est une sous-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5774-5774 AndaquiGroupLanguage est une sous-classe de BarbacoanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 5787-5787 CayapaColoradoLanguage est une sous-classe de BarbacoanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 5816-5816 CoconucanLanguage est une sous-classe de BarbacoanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 5838-5838 PastoLanguage est une sous-classe de BarbacoanLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9864-9864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9863-9863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9862-9862


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