![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
NorwegianKrone
|
|
|
| appearance as argument number 1 |
|
|
| (instance NorwegianKrone UnitOfCurrency) | Economy.kif 3707-3707 | Norwegian krone is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyType Norway NorwegianKrone) | Economy.kif 3709-3709 | Norwegian krone is a currency type of norway |
| (termFormat EnglishLanguage NorwegianKrone "norwegian krone") | domainEnglishFormat.kif 41264-41264 | Norwegian krone is a currency type of norway |
| (termFormat ChineseTraditionalLanguage NorwegianKrone "挪威克朗") | domainEnglishFormat.kif 41265-41265 | Norwegian krone is a currency type of norway |
| (termFormat ChineseLanguage NorwegianKrone "挪威克朗") | domainEnglishFormat.kif 41266-41266 | Norwegian krone is a currency type of norway |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "NOK" NorwegianKrone) | Media.kif 2254-2254 | "NOK" in ISO_4217_A denotes norwegian krone |