No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 116-116 |
Algeria is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 118-118 |
Egypt is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 120-120 |
Libya is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 122-122 |
Mauritania is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 124-124 |
Morocco is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 127-127 |
Sudan is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 129-129 |
Tunisia is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 131-131 |
Western sahara is a geographic subregion of northern africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 110-110 |
Northern africa has name "Northern Africa" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41025-41025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41024-41024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41023-41023 |
|