|
|
  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 e' uma instancia de Area Geografica |
| 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 se chama nome "Southern Africa" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54144-54144 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54143-54143 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
