Ecuador(ecuador) | Ecuador, Republic_of_Ecuador |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3121-3121 | Ecuadoran sucre is a currency type of ecuador |
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 | Developing country is an economy type of ecuador |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 259-259 | Less developed country is an economy type of ecuador |
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 | Ecuador is a geographic subregion of western south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 523-523 | Ecuador is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3409-3409 | Quito ecuador is a geographic subregion of ecuador |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3521-3521 | Shimi ecuador is a geographic subregion of ecuador |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4139-4139 | Ecuador has name "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" in ISO-3166-1-alpha-2 denotes ecuador |