EuroDollar
|
|
appearance as argument number 1 |
(documentation EuroDollar ChineseLanguage "这是大部分欧盟国家使用的货币单位。") | chinese_format.kif 2622-2622 | |
(documentation EuroDollar EnglishLanguage "A currency measure of most European Union countries.") | Merge.kif 7398-7399 | |
(documentation EuroDollar JapaneseLanguage "ほとんどの欧州連合諸国の通貨指標。") | japanese_format.kif 1336-1336 | |
(instance EuroDollar UnitOfCurrency) | Merge.kif 7396-7396 | EuroDollar ist ein fall von UnitOfCurrency %n{nicht} |
appearance as argument number 2 |
appearance as argument number 3 |
(codeMapping ISO-4217-A "EUR" EuroDollar) | Media.kif 2302-2302 | codeMapping ISO-4217-A, "EUR" and EuroDollar |
antecedent |
(=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3193-3197 |
|
consequent |
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3187-3191 |
|
statement |
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7406-7408 | RealNumber EuroCent(s) ist gleich ** RealNumber und 0.01 EuroDollar(s) %n{nicht} |