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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ethiopia

Sigma KEE - Ethiopia
Ethiopia(ethiopia)
Abyssinia, Ethiopia, Federal_Democratic_Republic_of_Ethiopia, Yaltopya

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3137-3137 Ethiopian birr is a currency type of ethiopia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1235-1235
No TPTP formula. May not be expressible in strict first order. Economy.kif 647-647 Developing country is an economy type of ethiopia
No TPTP formula. May not be expressible in strict first order. Economy.kif 263-263 Less developed country is an economy type of ethiopia
No TPTP formula. May not be expressible in strict first order. pictureList.kif 416-416
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 101-101 Ethiopia is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 102-102 Ethiopia is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2496-2496 Addis ababa ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2596-2596 Bale ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2785-2785 Dire dawa ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2909-2909 Harer ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3939-3939 Ethiopia has name "Ethiopia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22462-22462
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22461-22461
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22460-22460

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2695-2695 "ET" in ISO-3166-1-alpha-2 denotes ethiopia


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