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 | 例 歐元 and UnitOfCurrency |
appearance as argument number 2 |
appearance as argument number 3 |
(codeMapping ISO-4217-A "EUR" EuroDollar) | Media.kif 2302-2302 | "EUR" 在 ISO-4217-A denotes 歐元 |
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 and 歐元分 and 測量 乘法 RealNumber and 0.01 and 歐元 |