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 7397-7398 | |
(documentation EuroDollar JapaneseLanguage "ほとんどの欧州連合諸国の通貨指標。") | japanese_format.kif 1336-1336 | |
(instance EuroDollar UnitOfCurrency) | Merge.kif 7395-7395 | EuroDollar e' uma instancia de UnitOfCurrency |
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 3229-3233 |
|
consequent |
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3223-3227 |
|
statement |
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7405-7407 | Numero Real EuroCent(s) e' igual a Numero Real + 0.01 EuroDollar(s) |