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 | 厄瓜多尔 是 国家 的 instance |
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" |
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 厄瓜多尔 |