Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Tuvalu(tuvalu)
|  | Tuvalu |
| appearance as argument number 1 |
|
|
| (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 |
| (documentation Tuvalu EnglishLanguage "The Nation of Tuvalu.") | CountriesAndRegions.kif 1372-1372 | Tuvalu is an instance of nation |
| (currencyType Tuvalu TuvaluDollar) | Economy.kif 3879-3879 | 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 9785-9785 | Tuvalu dollar is a currency type of tuvalu |
| (externalImage Tuvalu "http://upload.wikimedia.org/wikipedia/commons/e/ed/ LocationTuvalu.png") | pictureList.kif 9786-9786 | Tuvalu dollar is a currency type of tuvalu |
| appearance as argument number 2 |
|
|
| (names "Tuvalu" Tuvalu) | CountriesAndRegions.kif 4225-4225 | Tuvalu has name "Tuvalu" |
| (formerName "Ellice Islands" Tuvalu) | CountriesAndRegions.kif 4226-4226 | "Ellice Islands" is a former name for tuvalu |
| (located FunafutiAirport Tuvalu) | WorldAirports.kif 9640-9640 | Funafuti Airport is located at tuvalu |
| (termFormat EnglishLanguage Tuvalu "tuvalu") | domainEnglishFormat.kif 59647-59647 | Funafuti Airport is located at tuvalu |
| (termFormat ChineseTraditionalLanguage Tuvalu "圖瓦盧") | domainEnglishFormat.kif 59648-59648 | Funafuti Airport is located at tuvalu |
| (termFormat ChineseLanguage Tuvalu "图瓦卢") | domainEnglishFormat.kif 59649-59649 | Funafuti Airport is located at tuvalu |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "TV" Tuvalu) | Media.kif 2778-2778 | "TV" in ISO_3166_1_alpha_2 denotes tuvalu |
|