| EuroDollar | | euro, euro_dollar |
| appearance as argument number 1 |
|
|
| (documentation EuroDollar ChineseLanguage "这是大部分欧盟国家使用的货币单位。") | Merge.kif 7668-7668 | |
| (documentation EuroDollar EnglishLanguage "A currency measure of most European Union countries.") | Merge.kif 7666-7667 | |
| (instance EuroDollar UnitOfCurrency) | Merge.kif 7665-7665 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO-4217-A "EUR" EuroDollar) | Media.kif 2297-2297 |
| antecedent |
|
|
| (=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3166-3170 |
| consequent |
|
|
| (=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3160-3164 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7675-7677 |
|
|
|