Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ItalianLira(italian lira) |  | Italian_lira, lira |
| appearance as argument number 1 |
|
|
| (instance ItalianLira UnitOfCurrency) | Economy.kif 3230-3230 | Italian lira is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyValue ItalianLiraCoin ItalianLira) | Economy.kif 3254-3254 | Italian lira is a currency value of italian lira coin |
| (termFormat EnglishLanguage ItalianLira "italian lira") | domainEnglishFormat.kif 31245-31245 | Italian lira is a currency value of italian lira coin |
| (termFormat ChineseTraditionalLanguage ItalianLira "意大利里拉") | domainEnglishFormat.kif 31246-31246 | Italian lira is a currency value of italian lira coin |
| (termFormat ChineseLanguage ItalianLira "意大利里拉") | domainEnglishFormat.kif 31247-31247 | Italian lira is a currency value of italian lira coin |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "ITL" ItalianLira) | Media.kif 2343-2343 | "ITL" in ISO_4217_A denotes italian lira |
|