| Tuvalu(tuvalu)
| | Tuvalu |
| appearance as argument number 1 |
|
|
| (currencyType Tuvalu TuvaluDollar) | Economy.kif 3547-3547 | Tuvalu dollar is a currency type of tuvalu |
| (documentation Tuvalu EnglishLanguage "The Nation of Tuvalu.") | CountriesAndRegions.kif 1372-1372 | Tuvalu dollar is a currency type of tuvalu |
| (externalImage Tuvalu "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ T/ Tuvalu.png") | pictureList.kif 808-808 | Tuvalu dollar is a currency type of tuvalu |
| (externalImage Tuvalu "http://upload.wikimedia.org/wikipedia/commons/4/41/ Tuvalu_Funafuti_atoll_beach.jpg") | pictureList.kif 9786-9786 | Tuvalu dollar is a currency type of tuvalu |
| (externalImage Tuvalu "http://upload.wikimedia.org/wikipedia/commons/e/ed/ LocationTuvalu.png") | pictureList.kif 9787-9787 | Tuvalu dollar is a currency type of tuvalu |
| (geographicSubregion Tuvalu Oceania) | CountriesAndRegions.kif 700-700 | Tuvalu is a geographic subregion of oceania |
| (instance Tuvalu Nation) | CountriesAndRegions.kif 701-701 | Tuvalu is an instance of nation |
| appearance as argument number 2 |
|
|
| (formerName "Ellice Islands" Tuvalu) | CountriesAndRegions.kif 4226-4226 | "Ellice Islands" is a former name for tuvalu |
| (names "Tuvalu" Tuvalu) | CountriesAndRegions.kif 4225-4225 | Tuvalu has name "Tuvalu" |
| (termFormat ChineseLanguage Tuvalu "图瓦卢") | domainEnglishFormat.kif 59710-59710 | Tuvalu has name "Tuvalu" |
| (termFormat ChineseTraditionalLanguage Tuvalu "圖瓦盧") | domainEnglishFormat.kif 59709-59709 | Tuvalu has name "Tuvalu" |
| (termFormat EnglishLanguage Tuvalu "tuvalu") | domainEnglishFormat.kif 59708-59708 | Tuvalu has name "Tuvalu" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "TV" Tuvalu) | Media.kif 2831-2831 | "TV" in ISO-3166-1-alpha-2 denotes tuvalu |
|
|
|