Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
JapaneseYenCoin(japanese yen coin)
|
| appearance as argument number 1 |
|
| (subclass JapaneseYenCoin CurrencyCoin) | Economy.kif 3255-3255 | Japanese yen coin is a subclass of coin |
| (currencyValue JapaneseYenCoin JapaneseYen) | Economy.kif 3256-3256 | Japanese yen is a currency value of japanese yen coin |
| (externalImage JapaneseYenCoin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ JPY_coin2.JPG") | pictureList.kif 1823-1823 | Japanese yen is a currency value of japanese yen coin |
| appearance as argument number 2 |
|
|
|