|
|
  Greece
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3165-3165 | currencyType Greece and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1246-1247 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 543-543 | economyType Greece and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 157-157 | economyType Greece and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 473-473 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 331-331 | geographicSubregion Greece and SouthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 332-332 | Greece est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | Greece est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | Greece est une partie de Europe |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2570-2570 | geographicSubregion AthensGreece and Greece |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3377-3377 | geographicSubregion PantrasGreece and Greece |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4044-4044 | Greece s'appele nom "Greece" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | Rhodes est une partie de Greece |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26556-26556 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26555-26555 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26554-26554 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2709-2709 | codeMapping ISO-3166-1-alpha-2, "GR" and Greece |
|
|
|
