TuvaluDollar(图瓦卢元) |
appearance as argument number 1 |
(instance TuvaluDollar UnitOfCurrency) | Economy.kif 3545-3545 | 图瓦卢元 是 UnitOfCurrency 的 instance |
appearance as argument number 2 |
(currencyType Tuvalu TuvaluDollar) | Economy.kif 3547-3547 | 图瓦卢元 是 图瓦卢 的 currency 类别 |
(termFormat ChineseLanguage TuvaluDollar "图瓦卢元") | domainEnglishFormat.kif 59678-59678 | |
(termFormat ChineseTraditionalLanguage TuvaluDollar "圖瓦盧元") | domainEnglishFormat.kif 59677-59677 | |
(termFormat EnglishLanguage TuvaluDollar "tuvalu dollar") | domainEnglishFormat.kif 59676-59676 |