Ecuador
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3121-3121 | currencyType Ecuador and EcuadoranSucre |
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 | economyType Ecuador and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 259-259 | economyType Ecuador and LessDevelopedCountry |
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 | geographicSubregion Ecuador and WesternSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 523-523 | Ecuador e' uma instancia de Nacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3409-3409 | geographicSubregion QuitoEcuador and Ecuador |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3521-3521 | geographicSubregion ShimiEcuador and Ecuador |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4139-4139 | Ecuador se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "EC" and Ecuador |