| GermanMark(german mark) | | Deutsche_Mark, Deutschmark, German_mark, mark |
| appearance as argument number 1 |
|
|
| (instance GermanMark UnitOfCurrency) | Economy.kif 3227-3227 | German mark is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyValue GermanMarkCoin GermanMark) | Economy.kif 3252-3252 | German mark is a currency value of german mark coin |
| (termFormat EnglishLanguage GermanMark "german mark") | domainEnglishFormat.kif 25904-25904 | German mark is a currency value of german mark coin |
| (termFormat ChineseTraditionalLanguage GermanMark "德國馬克") | domainEnglishFormat.kif 25905-25905 | German mark is a currency value of german mark coin |
| (termFormat ChineseLanguage GermanMark "德国马克") | domainEnglishFormat.kif 25906-25906 | German mark is a currency value of german mark coin |
|
|
|