| WesternAfrica
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8261-8261 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6975-6975 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 143-143 | geographicSubregion WesternAfrica and Africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 82-82 | WesternAfrica est une instance de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 201-201 | WesternAfrica recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 203-203 | WesternAfrica recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 204-204 | WesternAfrica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 202-202 | WesternAfrica recouvre WesternHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 191-191 | geographicSubregion Benin and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 193-193 | geographicSubregion BurkinaFaso and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 195-195 | geographicSubregion Cameroon and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 197-197 | geographicSubregion CapeVerde and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 199-199 | geographicSubregion CoteDIvoire and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 201-201 | geographicSubregion EquatorialGuinea and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 203-203 | geographicSubregion Gabon and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 205-205 | geographicSubregion Gambia and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 207-207 | geographicSubregion Ghana and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 209-209 | geographicSubregion Guinea and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 211-211 | geographicSubregion GuineaBissau and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 213-213 | geographicSubregion Liberia and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 215-215 | geographicSubregion Mali and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 217-217 | geographicSubregion Niger and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 219-219 | geographicSubregion Nigeria and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 221-221 | geographicSubregion SaoTomeAndPrincipe and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 223-223 | geographicSubregion Senegal and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 225-225 | geographicSubregion SierraLeone and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 227-227 | geographicSubregion Togo and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 112-112 | WesternAfrica s'appele nom "Western Africa" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62753-62753 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62752-62752 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62751-62751 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 233-233 | SaintHelena est entre SouthAmerica et WesternAfrica |
|
|
|