| Portugal(portugal)
| | Portugal, Portuguese_Republic |
| appearance as argument number 1 |
|
|
| (currencyType Portugal EuroDollar) | Economy.kif 3413-3413 | Euro dollar is a currency type of portugal |
| (documentation Portugal EnglishLanguage "The Nation of Portugal.") | CountriesAndRegions.kif 1325-1325 | |
| (economyType Portugal AdvancedEconomy) | Economy.kif 555-555 | Advanced economy is an economy type of portugal |
| (economyType Portugal DevelopedCountry) | Economy.kif 172-172 | Developed country is an economy type of portugal |
| (externalImage Portugal "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ P/ Portugal.png") | pictureList.kif 675-675 | |
| (geographicSubregion Portugal SouthwesternEurope) | CountriesAndRegions.kif 393-393 | Portugal is a geographic subregion of southwestern europe |
| (instance Portugal EuropeanNation) | CountriesAndRegions.kif 394-394 | Portugal is an instance of european nation |
| (member Portugal EuropeanMonetaryUnion) | Government.kif 3178-3178 | Portugal is a member of european monetary union |
| appearance as argument number 2 |
|
|
| (names "Portugal" Portugal) | CountriesAndRegions.kif 4075-4075 | Portugal has name "Portugal" |
| (termFormat ChineseLanguage Portugal "葡萄牙") | domainEnglishFormat.kif 46762-46762 | |
| (termFormat ChineseTraditionalLanguage Portugal "葡萄牙") | domainEnglishFormat.kif 46761-46761 | |
| (termFormat EnglishLanguage Portugal "portugal") | domainEnglishFormat.kif 46760-46760 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "PT" Portugal) | Media.kif 2794-2794 | "PT" in ISO-3166-1-alpha-2 denotes portugal |
|
|
|