| BruneiDollar(brunei dollar) | | Brunei_dollar |
| appearance as argument number 1 |
|
|
| (instance BruneiDollar UnitOfCurrency) | Economy.kif 3364-3364 | Brunei dollar is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyType Brunei BruneiDollar) | Economy.kif 3366-3366 | Brunei dollar is a currency type of brunei |
| (termFormat ChineseLanguage BruneiDollar "文莱美元") | domainEnglishFormat.kif 12170-12170 | Brunei dollar is a currency type of brunei |
| (termFormat ChineseTraditionalLanguage BruneiDollar "文萊美元") | domainEnglishFormat.kif 12169-12169 | Brunei dollar is a currency type of brunei |
| (termFormat EnglishLanguage BruneiDollar "brunei dollar") | domainEnglishFormat.kif 12168-12168 | Brunei dollar is a currency type of brunei |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "BND" BruneiDollar) | Media.kif 2347-2347 | "BND" in ISO_4217_A denotes brunei dollar |
|
|
|