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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WestBirdsHeadLanguage

Sigma KEE - WestBirdsHeadLanguage
WestBirdsHeadLanguage(west birds head language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13725-13726
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

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13729-13729 Kalabra language is an instance of west birds head language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13736-13736 Moi language is an instance of west birds head language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13743-13743 Moraid language is an instance of west birds head language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13751-13751 Seget language is an instance of west birds head language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13758-13758 Tehit language is an instance of west birds head language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62741-62741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62740-62740
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62739-62739


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