| BermudaDollar | |
| appearance as argument number 1 |
|
|
| (instance BermudaDollar UnitOfCurrency) | Economy.kif 3017-3017 |
| appearance as argument number 2 |
|
|
| (currencyType Bermuda BermudaDollar) | Economy.kif 3019-3019 | |
| (termFormat ChineseLanguage BermudaDollar "百慕大元") | domainEnglishFormat.kif 10832-10832 | |
| (termFormat ChineseTraditionalLanguage BermudaDollar "百慕大元") | domainEnglishFormat.kif 10831-10831 | |
| (termFormat EnglishLanguage BermudaDollar "bermuda dollar") | domainEnglishFormat.kif 10830-10830 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-4217-A "BMD" BermudaDollar) | Media.kif 2335-2335 |
|
|
|