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 |