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 | Southern africa is a geographic subregion of africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 198-198 | Southern africa is a geographic subregion of eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 199-199 | Southern africa is a geographic subregion of southern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 81-81 | Southern africa is an instance of geographic area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 152-152 | Angola is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 154-154 | Bassas da india is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 155-155 | Botswana is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 157-157 | Bouvet island is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 158-158 | Comoros is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 160-160 | Europa island is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 161-161 | Glorioso islands is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 162-162 | Heard island and mc donald islands is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 163-163 | Juan de nova island is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 164-164 | Lesotho is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 166-166 | Madagascar is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 168-168 | Malawi is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 170-170 | Mauritius is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 172-172 | Mayotte is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 173-173 | Mozambique is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 175-175 | Namibia is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 177-177 | Reunion is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 179-179 | South africa is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 181-181 | Swaziland is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 183-183 | Tromelin island is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 184-184 | Zambia is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 186-186 | Zimbabwe is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 111-111 | Southern africa has name "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 |