| 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 e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 187-187 | CentralAfrica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 188-188 | CentralAfrica engloba 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 se chama nome "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 |
|
|
|