| Spain(spain)
| | Espana, Kingdom_of_Spain, Spain |
| appearance as argument number 1 |
|
|
| (currencyType Spain EuroDollar) | Economy.kif 3475-3475 | Euro dollar is a currency type of spain |
| (documentation Spain EnglishLanguage "A large, industrialized EuropeanNation.") | CountriesAndRegions.kif 1352-1352 | Euro dollar is a currency type of spain |
| (economyType Spain AdvancedEconomy) | Economy.kif 557-557 | Advanced economy is an economy type of spain |
| (economyType Spain DevelopedCountry) | Economy.kif 175-175 | Developed country is an economy type of spain |
| (externalImage Spain "http://articulatesoftware.com/SUMOpictures/flags/Countries/ S/ spain.png") | pictureList.kif 1565-1565 | Developed country is an economy type of spain |
| (externalImage Spain "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ S/ Spain.png") | pictureList.kif 751-751 | Developed country is an economy type of spain |
| (geographicSubregion Spain SouthwesternEurope) | CountriesAndRegions.kif 395-395 | Spain is a geographic subregion of southwestern europe |
| (instance Spain EuropeanNation) | CountriesAndRegions.kif 396-396 | Spain is an instance of european nation |
| (member Spain EuropeanMonetaryUnion) | Government.kif 3181-3181 | Spain is a member of european monetary union |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "ES" Spain) | Media.kif 2815-2815 | "ES" in ISO-3166-1-alpha-2 denotes spain |
|
|
|