No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 191-191 |
Benin is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 193-193 |
Burkina faso is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 195-195 |
Cameroon is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 197-197 |
Cape verde is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 199-199 |
CoteD ivoire is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 201-201 |
Equatorial guinea is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 203-203 |
Gabon is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 205-205 |
Gambia is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 207-207 |
Ghana is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 209-209 |
Guinea is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 211-211 |
Guinea bissau is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 213-213 |
Liberia is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 215-215 |
Mali is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 217-217 |
Niger is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 219-219 |
Nigeria is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 221-221 |
Sao tome and principe is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 223-223 |
Senegal is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 225-225 |
Sierra leone is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 227-227 |
Togo is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 112-112 |
Western africa has name "Western Africa" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62751-62751 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62750-62750 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62749-62749 |
|