Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JapaneseYen(japanese yen) |  | yen |
| appearance as argument number 1 |
|
|
| (instance JapaneseYen UnitOfCurrency) | Economy.kif 3233-3233 | Japanese yen is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyType Japan JapaneseYen) | Economy.kif 3234-3234 | Japanese yen is a currency type of japan |
| (currencyValue JapaneseYenCoin JapaneseYen) | Economy.kif 3256-3256 | Japanese yen is a currency value of japanese yen coin |
| (termFormat EnglishLanguage JapaneseYen "japanese yen") | domainEnglishFormat.kif 31497-31497 | Japanese yen is a currency value of japanese yen coin |
| (termFormat ChineseTraditionalLanguage JapaneseYen "日圓") | domainEnglishFormat.kif 31498-31498 | Japanese yen is a currency value of japanese yen coin |
| (termFormat ChineseLanguage JapaneseYen "日圆") | domainEnglishFormat.kif 31499-31499 | Japanese yen is a currency value of japanese yen coin |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "JPY" JapaneseYen) | Media.kif 2346-2346 | "JPY" in ISO_4217_A denotes japanese yen |
|