CentralAfrica |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5904-5904 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 139-139 | geographicSubregion CentralAfrica and Africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 186-186 | geographicSubregion CentralAfrica and EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 78-78 | CentralAfrica est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 187-187 | CentralAfrica recouvre NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | CentralAfrica recouvre SouthernHemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 85-85 | geographicSubregion Burundi and CentralAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 87-87 | geographicSubregion CentralAfricanRepublic and CentralAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 89-89 | geographicSubregion Chad and CentralAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 91-91 | geographicSubregion DemocraticRepublicOfTheCongo and CentralAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 93-93 | geographicSubregion Rwanda and CentralAfrica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 108-108 | CentralAfrica s'appele nom "Central Africa" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13770-13770 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13769-13769 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13768-13768 |