Ecuador(厄瓜多爾) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3121-3121 | Ecuadoran 糖 是 厄瓜多爾 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1229-1229 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 643-643 | 發展中國家 是 厄瓜多爾 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 259-259 | 較未發達國家 是 厄瓜多爾 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 405-405 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 522-522 | 厄瓜多爾 是 西南美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 523-523 | 例 厄瓜多爾 and Nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3409-3409 | 基多厄瓜多爾 是 厄瓜多爾 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3521-3521 | Shimi厄瓜多爾 是 厄瓜多爾 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4139-4139 | 名 "Ecuador" and 厄瓜多爾 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21216-21216 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21215-21215 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21214-21214 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2691-2691 | "EC" 在 ISO-3166-1-alpha-2 denotes 厄瓜多爾 |