|
|
  Spain
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3475-3475 | currencyType Spain and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1352-1352 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 557-557 | economyType Spain and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 175-175 | economyType Spain and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1565-1565 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 751-751 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 395-395 | geographicSubregion Spain and SouthwesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 396-396 | Spain e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3217-3217 | Spain e' membro de EuropeanMonetaryUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2532-2532 | geographicSubregion AndeanSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2606-2606 | geographicSubregion BarcelonaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2618-2618 | geographicSubregion BeasainSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2653-2653 | geographicSubregion BilbaoSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2655-2655 | geographicSubregion BillabonaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2773-2773 | geographicSubregion DebaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2804-2804 | geographicSubregion DurangoSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2851-2851 | geographicSubregion FuengirolaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2865-2865 | geographicSubregion GetxoSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2880-2880 | geographicSubregion GranadaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2921-2921 | geographicSubregion HernaniSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3111-3111 | geographicSubregion LasarteSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3113-3113 | geographicSubregion LeizaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3132-3132 | geographicSubregion LogronoSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3166-3166 | geographicSubregion MadridSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3174-3174 | geographicSubregion MalagaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3373-3373 | geographicSubregion PamplonaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3429-3429 | geographicSubregion ReusSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3446-3446 | geographicSubregion RosasSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3462-3462 | geographicSubregion SaintSebastianSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3470-3470 | geographicSubregion SallentDeGallegoSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3486-3486 | geographicSubregion SanSebastianSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3494-3494 | geographicSubregion SantaPolaSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3511-3511 | geographicSubregion SevilleSpain and Spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3605-3605 | geographicSubregion TolosaSpain and Spain |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2815-2815 | codeMapping ISO-3166-1-alpha-2, "ES" and Spain |
|
|
|
