EuroDollar - Sigma Knowledge base Browser

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 7113-7114
(instance EuroDollar UnitOfCurrency)	Merge.kif 7111-7111

appearance as argument number 2

(currencyType Austria EuroDollar)	Economy.kif 2972-2972
(currencyType Belgium EuroDollar)	Economy.kif 3000-3000
(currencyType Cyprus EuroDollar)	Economy.kif 3096-3096
(currencyType Estonia EuroDollar)	Economy.kif 3136-3136
(currencyType Finland EuroDollar)	Economy.kif 3148-3148
(currencyType France EuroDollar)	Economy.kif 2896-2896
(currencyType Germany EuroDollar)	Economy.kif 2899-2899
(currencyType Greece EuroDollar)	Economy.kif 3168-3168
(currencyType Ireland EuroDollar)	Economy.kif 3228-3228
(currencyType Italy EuroDollar)	Economy.kif 2902-2902
(currencyType Latvia EuroDollar)	Economy.kif 3272-3272
(currencyType Lithuania EuroDollar)	Economy.kif 3292-3292
(currencyType Luxembourg EuroDollar)	Economy.kif 3296-3296
(currencyType Malta EuroDollar)	Economy.kif 3320-3320
(currencyType Netherlands EuroDollar)	Economy.kif 3104-3104
(currencyType Portugal EuroDollar)	Economy.kif 3416-3416
(currencyType Slovakia EuroDollar)	Economy.kif 3460-3460
(currencyType Slovenia EuroDollar)	Economy.kif 3462-3462
(currencyType Spain EuroDollar)	Economy.kif 3478-3478
(termFormat ChineseLanguage EuroDollar "欧元")	domainEnglishFormat.kif 22510-22510
(termFormat ChineseTraditionalLanguage EuroDollar "歐元")	domainEnglishFormat.kif 22509-22509
(termFormat EnglishLanguage EuroDollar "euro dollar")	domainEnglishFormat.kif 22508-22508

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 3192-3196

consequent

(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))

Government.kif 3186-3190

statement

(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))

Merge.kif 7121-7123