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 子類 鳥頭語言 and 西papuan語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13671-13671 子類 中北部鳥類頭語 and 鳥頭語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 13724-13724 子類 西鳥頭語 and 鳥頭語言
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