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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners