Greece(greece) | Dorian, Ellas, Greece, Hellenic_Republic |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3165-3165 | Euro dollar is a currency type of greece |
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 | Advanced economy is an economy type of greece |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 157-157 | Developed country is an economy type of greece |
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 | Greece is a geographic subregion of southern europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 332-332 | Greece is an instance of european nation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3170-3170 | Greece is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | Greece is a part of europe |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2570-2570 | Athens greece is a geographic subregion of greece |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3377-3377 | Pantras greece is a geographic subregion of greece |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4044-4044 | Greece has name "Greece" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | Rhodes is a part of 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 | "GR" in ISO-3166-1-alpha-2 denotes greece |