| HongKongDollar
| | Hong_Kong_dollar |
| appearance as argument number 1 |
|
|
| (externalImage HongKongDollar "http://upload.wikimedia.org/wikipedia/en/ 3/ 35/ Hk_money.jpg") | pictureList.kif 3905-3905 | |
| (externalImage HongKongDollar "http://upload.wikimedia.org/wikipedia/en/ b/ ba/ Hk_money_coins.jpg") | pictureList.kif 3904-3904 | |
| (instance HongKongDollar UnitOfCurrency) | Economy.kif 3527-3527 | HongKongDollar is an instance of UnitOfCurrency |
| appearance as argument number 2 |
|
|
| (currencyType HongKong HongKongDollar) | Economy.kif 3529-3529 | currencyType HongKong and HongKongDollar |
| (termFormat ChineseLanguage HongKongDollar "香港美元") | domainEnglishFormat.kif 28537-28537 | currencyType HongKong and HongKongDollar |
| (termFormat ChineseTraditionalLanguage HongKongDollar "香港美元") | domainEnglishFormat.kif 28536-28536 | currencyType HongKong and HongKongDollar |
| (termFormat EnglishLanguage HongKongDollar "hong kong dollar") | domainEnglishFormat.kif 28535-28535 | currencyType HongKong and HongKongDollar |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "HKD" HongKongDollar) | Media.kif 2387-2387 | codeMapping ISO_4217_A, "HKD" and HongKongDollar |
|
|
|