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 7301-7302
(instance EuroDollar UnitOfCurrency)	Merge.kif 7299-7299

appearance as argument number 2

(currencyType Austria EuroDollar)	Economy.kif 2979-2979
(currencyType Belgium EuroDollar)	Economy.kif 3007-3007
(currencyType Cyprus EuroDollar)	Economy.kif 3103-3103
(currencyType Estonia EuroDollar)	Economy.kif 3143-3143
(currencyType Finland EuroDollar)	Economy.kif 3155-3155
(currencyType France EuroDollar)	Economy.kif 2903-2903
(currencyType Germany EuroDollar)	Economy.kif 2906-2906
(currencyType Greece EuroDollar)	Economy.kif 3175-3175
(currencyType Ireland EuroDollar)	Economy.kif 3235-3235
(currencyType Italy EuroDollar)	Economy.kif 2909-2909
(currencyType Latvia EuroDollar)	Economy.kif 3279-3279
(currencyType Lithuania EuroDollar)	Economy.kif 3299-3299
(currencyType Luxembourg EuroDollar)	Economy.kif 3303-3303
(currencyType Malta EuroDollar)	Economy.kif 3327-3327
(currencyType Netherlands EuroDollar)	Economy.kif 3111-3111
(currencyType Portugal EuroDollar)	Economy.kif 3423-3423
(currencyType Slovakia EuroDollar)	Economy.kif 3467-3467
(currencyType Slovenia EuroDollar)	Economy.kif 3469-3469
(currencyType Spain EuroDollar)	Economy.kif 3485-3485
(termFormat ChineseLanguage EuroDollar "欧元")	domainEnglishFormat.kif 22503-22503
(termFormat ChineseTraditionalLanguage EuroDollar "歐元")	domainEnglishFormat.kif 22502-22502
(termFormat EnglishLanguage EuroDollar "euro dollar")	domainEnglishFormat.kif 22501-22501

appearance as argument number 3

(codeMapping ISO-4217-A "EUR" EuroDollar)

Media.kif 2293-2293

antecedent

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

Government.kif 3209-3213

consequent

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

Government.kif 3203-3207

statement

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

Merge.kif 7309-7311