Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
HongKongDollar(hong kong dollar)
|  | Hong_Kong_dollar |
| appearance as argument number 1 |
|
|
| (instance HongKongDollar UnitOfCurrency) | Economy.kif 3527-3527 | Hong kong dollar is an instance of unit of currency |
| (externalImage HongKongDollar "http://upload.wikimedia.org/wikipedia/en/ b/ ba/ Hk_money_coins.jpg") | pictureList.kif 3904-3904 | Hong kong dollar is an instance of unit of currency |
| (externalImage HongKongDollar "http://upload.wikimedia.org/wikipedia/en/ 3/ 35/ Hk_money.jpg") | pictureList.kif 3905-3905 | Hong kong dollar is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyType HongKong HongKongDollar) | Economy.kif 3529-3529 | Hong kong dollar is a currency type of hong kong |
| (termFormat EnglishLanguage HongKongDollar "hong kong dollar") | domainEnglishFormat.kif 28529-28529 | Hong kong dollar is a currency type of hong kong |
| (termFormat ChineseTraditionalLanguage HongKongDollar "香港美元") | domainEnglishFormat.kif 28530-28530 | Hong kong dollar is a currency type of hong kong |
| (termFormat ChineseLanguage HongKongDollar "香港美元") | domainEnglishFormat.kif 28531-28531 | Hong kong dollar is a currency type of hong kong |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "HKD" HongKongDollar) | Media.kif 2332-2332 | "HKD" in ISO_4217_A denotes hong kong dollar |
|