SouthernAfrica
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6877-6877 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 142-142 | geographicSubregion SouthernAfrica and Africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 198-198 | geographicSubregion SouthernAfrica and EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 199-199 | geographicSubregion SouthernAfrica and SouthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 81-81 | SouthernAfrica est une instance de secteur g�ographique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 152-152 | geographicSubregion Angola and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 154-154 | geographicSubregion BassasDaIndia and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 155-155 | geographicSubregion Botswana and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 157-157 | geographicSubregion BouvetIsland and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 158-158 | geographicSubregion Comoros and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 160-160 | geographicSubregion EuropaIsland and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 161-161 | geographicSubregion GloriosoIslands and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 162-162 | geographicSubregion HeardIslandAndMcDonaldIslands and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 163-163 | geographicSubregion JuanDeNovaIsland and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 164-164 | geographicSubregion Lesotho and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 166-166 | geographicSubregion Madagascar and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 168-168 | geographicSubregion Malawi and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 170-170 | geographicSubregion Mauritius and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 172-172 | geographicSubregion Mayotte and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 173-173 | geographicSubregion Mozambique and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 175-175 | geographicSubregion Namibia and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 177-177 | geographicSubregion Reunion and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 179-179 | geographicSubregion SouthAfrica and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 181-181 | geographicSubregion Swaziland and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 183-183 | geographicSubregion TromelinIsland and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 184-184 | geographicSubregion Zambia and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 186-186 | geographicSubregion Zimbabwe and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 111-111 | SouthernAfrica s'appele nom "Southern Africa" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54146-54146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54145-54145 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |