No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 85-85 |
Burundi is a geographic subregion of central africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 87-87 |
Central african republic is a geographic subregion of central africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 89-89 |
Chad is a geographic subregion of central africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 91-91 |
Democratic republic of the congo is a geographic subregion of central africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 93-93 |
Rwanda is a geographic subregion of central africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 108-108 |
Central africa has name "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 |
|