|
|
  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 | geographicSubregion CaribbeanRegion and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 233-233 | geographicSubregion CaribbeanRegion and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 93-93 | CaribbeanRegion e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 290-290 | CaribbeanRegion e' South em relacao a NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 289-289 | CaribbeanRegion e' North em relacao a SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 167-167 | CaribbeanRegion engloba NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | CaribbeanRegion engloba SouthAmerica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 427-427 | geographicSubregion Anguilla and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 428-428 | geographicSubregion AntiguaAndBarbuda and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 430-430 | geographicSubregion Aruba and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 433-433 | geographicSubregion Barbados and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 435-435 | geographicSubregion BritishVirginIslands and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 436-436 | geographicSubregion CaymanIslands and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 437-437 | geographicSubregion Cuba and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 440-440 | geographicSubregion Dominica and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 442-442 | geographicSubregion DominicanRepublic and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 444-444 | geographicSubregion Grenada and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 446-446 | geographicSubregion Guadeloupe and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 447-447 | geographicSubregion Haiti and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 449-449 | geographicSubregion Jamaica and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 451-451 | geographicSubregion Martinique and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 452-452 | geographicSubregion Montserrat and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 453-453 | geographicSubregion NavassaIsland and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 454-454 | geographicSubregion NetherlandsAntilles and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 455-455 | geographicSubregion PuertoRico and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 456-456 | geographicSubregion SaintKittsAndNevis and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 458-458 | geographicSubregion SaintLucia and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 460-460 | geographicSubregion SaintVincentAndTheGrenadines and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 431-431 | geographicSubregion TheBahamas and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 462-462 | geographicSubregion TrinidadAndTobago and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 464-464 | geographicSubregion TurksAndCaicosIslands and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 465-465 | geographicSubregion VirginIslands and CaribbeanRegion |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
