| Greece(希腊)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3165-3165 | 欧元 是 希腊 的 currency 类别 |
| 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 | 发达经济 是 希腊 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 157-157 | 发达国家 是 希腊 的 economy 类别 |
| 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 | 希腊 是 南欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 332-332 | 希腊 是 欧洲国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | 希腊 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | 希腊 是 欧洲 的 part |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2570-2570 | 希腊雅典 是 希腊 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3377-3377 | Pantras希腊 是 希腊 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4044-4044 | 希腊 的名 是 "Greece" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | 罗兹 是 希腊 的 part |
| 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" 在 ISO-3166-1-alpha-2 denotes 希腊 |
|
|
|