Aruba(aruba)
| Aruba |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Aruba" Aruba) | CountriesAndRegions.kif 4087-4087 | Aruba has &ames$"name" "Aruba" |
| (termFormat ChineseLanguage Aruba "阿鲁巴") | domainEnglishFormat.kif 8592-8592 | Aruba has &ames$"name" "Aruba" |
| (termFormat ChineseTraditionalLanguage Aruba "阿魯巴") | domainEnglishFormat.kif 8591-8591 | Aruba has &ames$"name" "Aruba" |
| (termFormat EnglishLanguage Aruba "aruba") | domainEnglishFormat.kif 8590-8590 | Aruba has &ames$"name" "Aruba" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "AW" Aruba) | Media.kif 2846-2846 | "AW" in ISO_3166_1_alpha_2 denotes aruba |
|
|