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 |
|