|
|
  Jamaica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3237-3237 | currencyType Jamaica and JamaicanDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1267-1267 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 663-663 | economyType Jamaica and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 279-279 | economyType Jamaica and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 526-526 | |
| 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 450-450 | Jamaica e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4099-4099 | Jamaica se chama nome "Jamaica" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31399-31399 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31398-31398 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31397-31397 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2727-2727 | codeMapping ISO-3166-1-alpha-2, "JM" and Jamaica |
|
|
|
