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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DireDawaEthiopia

 Sigma KEE - DireDawaEthiopia
DireDawaEthiopia(dire dawa 埃塞俄比亞)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1671-1671
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1365-1365
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2785-2785 Dire dawa 埃塞俄比亞 是 埃塞俄比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1670-1670 例 dire dawa 埃塞俄比亞 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2786-2786 名 "Dire Dawa" and dire dawa 埃塞俄比亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19758-19758
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19757-19757
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19756-19756


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