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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthBirdsHeadLanguage

Sigma KEE - NorthBirdsHeadLanguage
NorthBirdsHeadLanguage(北鸟头语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13708-13710
No TPTP formula. May not be expressible in strict first order. Languages.kif 13707-13707 北鸟头语中北部鸟类头语subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13713-13713 Abun语言北鸟头语instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40977-40977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40976-40976
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40975-40975


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