| GermanMarkCoin
|
| appearance as argument number 1 |
|
| (currencyValue GermanMarkCoin GermanMark) | Economy.kif 2920-2920 | currencyValue GermanMarkCoin and GermanMark |
| (externalImage GermanMarkCoin "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ 1-DM-Coin-German.jpg") | pictureList.kif 4701-4701 | |
| (externalImage GermanMarkCoin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Dmark-coins-front.jpg") | pictureList.kif 3707-3707 | |
| (subclass GermanMarkCoin CurrencyCoin) | Economy.kif 2919-2919 | GermanMarkCoin est une sous-classe de CurrencyCoin |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GermanMarkCoin "德国马克硬币") | domainEnglishFormat.kif 25908-25908 | |
| (termFormat ChineseTraditionalLanguage GermanMarkCoin "德國馬克硬幣") | domainEnglishFormat.kif 25907-25907 | |
| (termFormat EnglishLanguage GermanMarkCoin "german mark coin") | domainEnglishFormat.kif 25906-25906 |
|
|
|