|
|
  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 | 例 希臘 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | 會員 希臘 and 歐洲貨幣聯盟 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | 部分 希臘 and 歐洲 |
| 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" and 希臘 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | 部分 羅茲 and 希臘 |
| 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 希臘 |
|
|
|
