| JapaneseYenCoin
|
| appearance as argument number 1 |
|
| (currencyValue JapaneseYenCoin JapaneseYen) | Economy.kif 2924-2924 | currencyValue JapaneseYenCoin and JapaneseYen |
| (externalImage JapaneseYenCoin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ JPY_coin2.JPG") | pictureList.kif 1824-1824 | |
| (subclass JapaneseYenCoin CurrencyCoin) | Economy.kif 2923-2923 | JapaneseYenCoin は CurrencyCoin の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage JapaneseYenCoin "日元硬币") | domainEnglishFormat.kif 31501-31501 | |
| (termFormat ChineseTraditionalLanguage JapaneseYenCoin "日元硬幣") | domainEnglishFormat.kif 31500-31500 | |
| (termFormat EnglishLanguage JapaneseYenCoin "japanese yen coin") | domainEnglishFormat.kif 31499-31499 |
|
|
|