Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GermanMarkCoin(german mark coin)
|
| appearance as argument number 1 |
|
| (subclass GermanMarkCoin CurrencyCoin) | Economy.kif 3251-3251 | German mark coin is a subclass of coin |
| (currencyValue GermanMarkCoin GermanMark) | Economy.kif 3252-3252 | German mark is a currency value of german mark coin |
| (externalImage GermanMarkCoin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Dmark_coins_front.jpg") | pictureList.kif 3706-3706 | German mark is a currency value of german mark coin |
| (externalImage GermanMarkCoin "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ 1-DM_Coin_German.jpg") | pictureList.kif 4700-4700 | German mark is a currency value of german mark coin |
| appearance as argument number 2 |
|
|
|