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 NorthBirdsHeadLanguage est une sous-classe de NorthCentralBirdsHeadLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13713-13713 AbunLanguage est une instance de NorthBirdsHeadLanguage
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