|
|
  CaribbeanRegion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6234-6234 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6236-6236 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6237-6237 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6235-6235 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6238-6238 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 232-232 | Caribbean region is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 233-233 | Caribbean region is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 93-93 | Caribbean region is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 290-290 | Caribbean region is south to north america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 289-289 | Caribbean region is north to south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 167-167 | Caribbean region and north america overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | Caribbean region and south america overlapsSpatially |
| appearance as argument number 2 |
|
|
| 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 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 430-430 | Aruba is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 433-433 | Barbados is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 435-435 | British virgin islands is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 436-436 | Cayman islands is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 437-437 | Cuba is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 440-440 | Dominica is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 442-442 | Dominican republic is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 444-444 | Grenada is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 446-446 | Guadeloupe is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 447-447 | Haiti is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 449-449 | Jamaica is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 451-451 | Martinique is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 452-452 | Montserrat is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 453-453 | Navassa island is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 454-454 | Netherlands antilles is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 455-455 | Puerto rico is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 456-456 | Saint kitts and nevis is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 458-458 | Saint lucia is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 460-460 | Saint vincent and the grenadines is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 431-431 | The bahamas is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 462-462 | Trinidad and tobago is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 464-464 | Turks and caicos islands is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 465-465 | Virgin islands is a geographic subregion of caribbean region |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
