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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BirdsHeadLanguage

 Sigma KEE - BirdsHeadLanguage
BirdsHeadLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13666-13667
No TPTP formula. May not be expressible in strict first order. Languages.kif 13665-13665 BirdsHeadLanguage est une sous-classe de WestPapuanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13671-13671 NorthCentralBirdsHeadLanguage est une sous-classe de BirdsHeadLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13724-13724 WestBirdsHeadLanguage est une sous-classe de BirdsHeadLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11159-11159
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11158-11158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11157-11157


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