geographicSubregion |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 390-390 | Andorra is a geographic subregion of southwestern europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2534-2534 | Angkor wat cambodia is a geographic subregion of cambodia |
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 427-427 | Anguilla is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2536-2536 | Ankara turkey is a geographic subregion of turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2538-2538 | Antalya turkey is a geographic subregion of turkey |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3622-3622 | Antarctica is a geographic subregion of antarctic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3539-3539 | Antarctica is a geographic subregion of southern hemisphere |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 428-428 | Antigua and barbuda is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2540-2540 | Antioquia colombia is a geographic subregion of colombia panama |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2542-2542 | Antwerp belgium is a geographic subregion of belgium |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2544-2544 | Apumirac peru is a geographic subregion of peru |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2546-2546 | Apure venezuela is a geographic subregion of venezuela |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2548-2548 | Arauca colombia is a geographic subregion of colombia panama |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4639-4639 | Arctic ocean is a geographic subregion of northern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3581-3581 | Arctic region is a geographic subregion of northern hemisphere |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 513-513 | Argentina is a geographic subregion of southern south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2550-2550 | Argun russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2552-2552 | Ariel west bank is a geographic subregion of west bank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2554-2554 | Armagh northern ireland is a geographic subregion of northern ireland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 630-630 | Armenia is a geographic subregion of southwestern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 430-430 | Aruba is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2556-2556 | Arzew algeria is a geographic subregion of algeria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2558-2558 | Ashdod israel is a geographic subregion of israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 598-598 | Ashmore and cartier islands is a geographic subregion of southeastern asia |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |