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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BirdsHeadLanguage

 Sigma KEE - BirdsHeadLanguage
BirdsHeadLanguage(birds head language)

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 Birds head language is a subclass of west papuan language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13671-13671 North central birds head language is a subclass of birds head language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13724-13724 West birds head language is a subclass of birds head language
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