| EasternAfrica
| |
| 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 | geographicSubregion EasternAfrica and Africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 190-190 | geographicSubregion EasternAfrica and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 79-79 | EasternAfrica e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 191-191 | EasternAfrica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 192-192 | EasternAfrica engloba SouthernHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 97-97 | geographicSubregion Djibouti and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 99-99 | geographicSubregion Eritrea and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 101-101 | geographicSubregion Ethiopia and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 103-103 | geographicSubregion Kenya and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 105-105 | geographicSubregion Seychelles and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 107-107 | geographicSubregion Somalia and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 109-109 | geographicSubregion Tanzania and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 111-111 | geographicSubregion Uganda and EasternAfrica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 109-109 | EasternAfrica se chama nome "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 |
|
|
|