|
|
  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 |
|
|
|
