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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EasternAfrica
EasternAfrica(eastern africa)
East_Africa

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 5972-5972
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6415-6415
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6414-6414
No TPTP formula. May not be expressible in strict first order. Geography.kif 140-140 Eastern africa is a geographic subregion of africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 190-190 Eastern africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 79-79 Eastern africa is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 Eastern africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 Eastern africa and southern hemisphere overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 97-97 Djibouti is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 99-99 Eritrea is a geographic subregion of eastern africa
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 103-103 Kenya is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 105-105 Seychelles is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 107-107 Somalia is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 109-109 Tanzania is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 111-111 Uganda is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 109-109 Eastern africa has name "Eastern Africa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20838-20838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20837-20837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20836-20836


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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