|
|
  Grenada
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3169-3169 | currencyType Grenada and GrenadaDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1248-1248 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 652-652 | economyType Grenada and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 268-268 | economyType Grenada and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 475-475 | |
| 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 445-445 | Grenada e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4096-4096 | Grenada se chama nome "Grenada" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26628-26628 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26627-26627 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26626-26626 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2702-2702 | codeMapping ISO-3166-1-alpha-2, "GD" and Grenada |
|
|
|
