| JapaneseYen | |
| appearance as argument number 1 |
|
|
| (instance JapaneseYen UnitOfCurrency) | Economy.kif 2901-2901 | JapaneseYen ist ein fall von UnitOfCurrency %n{nicht} |
| appearance as argument number 2 |
|
|
| (currencyType Japan JapaneseYen) | Economy.kif 2902-2902 | currencyType Japan and JapaneseYen |
| (currencyValue JapaneseYenCoin JapaneseYen) | Economy.kif 2924-2924 | currencyValue JapaneseYenCoin and JapaneseYen |
| (termFormat ChineseLanguage JapaneseYen "日圆") | domainEnglishFormat.kif 31495-31495 | |
| (termFormat ChineseTraditionalLanguage JapaneseYen "日圓") | domainEnglishFormat.kif 31494-31494 | |
| (termFormat EnglishLanguage JapaneseYen "japanese yen") | domainEnglishFormat.kif 31493-31493 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-4217-A "JPY" JapaneseYen) | Media.kif 2399-2399 | codeMapping ISO-4217-A, "JPY" and JapaneseYen |
|
|
|