| BermudaDollar | |
| appearance as argument number 1 |
|
|
| (instance BermudaDollar UnitOfCurrency) | Economy.kif 3344-3344 | BermudaDollar は UnitOfCurrency の instance では %n |
| appearance as argument number 2 |
|
|
| (currencyType Bermuda BermudaDollar) | Economy.kif 3346-3346 | currencyType Bermuda and BermudaDollar |
| (termFormat ChineseLanguage BermudaDollar "百慕大元") | domainEnglishFormat.kif 10830-10830 | currencyType Bermuda and BermudaDollar |
| (termFormat ChineseTraditionalLanguage BermudaDollar "百慕大元") | domainEnglishFormat.kif 10829-10829 | currencyType Bermuda and BermudaDollar |
| (termFormat EnglishLanguage BermudaDollar "bermuda dollar") | domainEnglishFormat.kif 10828-10828 | currencyType Bermuda and BermudaDollar |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "BMD" BermudaDollar) | Media.kif 2346-2346 | codeMapping ISO_4217_A, "BMD" and BermudaDollar |
|
|
|