Portugal(portugal)
| Portugal, Portuguese_Republic |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Portugal" Portugal) | CountriesAndRegions.kif 4075-4075 | Portugal has &ames$"name" "Portugal" |
| (termFormat ChineseLanguage Portugal "葡萄牙") | domainEnglishFormat.kif 46761-46761 | Portugal has &ames$"name" "Portugal" |
| (termFormat ChineseTraditionalLanguage Portugal "葡萄牙") | domainEnglishFormat.kif 46760-46760 | Portugal has &ames$"name" "Portugal" |
| (termFormat EnglishLanguage Portugal "portugal") | domainEnglishFormat.kif 46759-46759 | Portugal has &ames$"name" "Portugal" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "PT" Portugal) | Media.kif 2796-2796 | "PT" in ISO_3166_1_alpha_2 denotes portugal |
|
|