| BruneiDollar(brunei dollar) | | Brunei_dollar |
| appearance as argument number 1 |
|
|
| (instance BruneiDollar UnitOfCurrency) | Economy.kif 3030-3030 | Brunei dollar is an instance of UnitOfCurrency |
| appearance as argument number 2 |
|
|
| (currencyType Brunei BruneiDollar) | Economy.kif 3032-3032 | Brunei dollar is a currency type of brunei |
| (termFormat ChineseLanguage BruneiDollar "文莱美元") | domainEnglishFormat.kif 12103-12103 | |
| (termFormat ChineseTraditionalLanguage BruneiDollar "文萊美元") | domainEnglishFormat.kif 12102-12102 | |
| (termFormat EnglishLanguage BruneiDollar "brunei dollar") | domainEnglishFormat.kif 12101-12101 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-4217-A "BND" BruneiDollar) | Media.kif 2340-2340 | "BND" in ISO-4217-A denotes brunei dollar |
|
|
|