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 7060-7061
(instance EuroDollar UnitOfCurrency)	Merge.kif 7058-7058	Euro dollar is an instance of UnitOfCurrency

appearance as argument number 2

(currencyType Austria EuroDollar)	Economy.kif 2972-2972	Euro dollar is a currency type of austria
(currencyType Belgium EuroDollar)	Economy.kif 3000-3000	Euro dollar is a currency type of belgium
(currencyType Cyprus EuroDollar)	Economy.kif 3096-3096	Euro dollar is a currency type of cyprus
(currencyType Estonia EuroDollar)	Economy.kif 3136-3136	Euro dollar is a currency type of estonia
(currencyType Finland EuroDollar)	Economy.kif 3148-3148	Euro dollar is a currency type of finland
(currencyType France EuroDollar)	Economy.kif 2896-2896	Euro dollar is a currency type of france
(currencyType Germany EuroDollar)	Economy.kif 2899-2899	Euro dollar is a currency type of germany
(currencyType Greece EuroDollar)	Economy.kif 3168-3168	Euro dollar is a currency type of greece
(currencyType Ireland EuroDollar)	Economy.kif 3228-3228	Euro dollar is a currency type of ireland
(currencyType Italy EuroDollar)	Economy.kif 2902-2902	Euro dollar is a currency type of italy
(currencyType Latvia EuroDollar)	Economy.kif 3272-3272	Euro dollar is a currency type of latvia
(currencyType Lithuania EuroDollar)	Economy.kif 3292-3292	Euro dollar is a currency type of lithuania
(currencyType Luxembourg EuroDollar)	Economy.kif 3296-3296	Euro dollar is a currency type of luxembourg
(currencyType Malta EuroDollar)	Economy.kif 3320-3320	Euro dollar is a currency type of malta
(currencyType Netherlands EuroDollar)	Economy.kif 3104-3104	Euro dollar is a currency type of netherlands
(currencyType Portugal EuroDollar)	Economy.kif 3416-3416	Euro dollar is a currency type of portugal
(currencyType Slovakia EuroDollar)	Economy.kif 3460-3460	Euro dollar is a currency type of slovakia
(currencyType Slovenia EuroDollar)	Economy.kif 3462-3462	Euro dollar is a currency type of slovenia
(currencyType Spain EuroDollar)	Economy.kif 3478-3478	Euro dollar is a currency type of spain
(termFormat ChineseLanguage EuroDollar "欧元")	domainEnglishFormat.kif 22435-22435
(termFormat ChineseTraditionalLanguage EuroDollar "歐元")	domainEnglishFormat.kif 22434-22434
(termFormat EnglishLanguage EuroDollar "euro dollar")	domainEnglishFormat.kif 22433-22433

appearance as argument number 3

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

Media.kif 2297-2297

"EUR" in ISO-4217-A denotes euro dollar

antecedent

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

Government.kif 3160-3164

If a geopolitical area is an instance of nation and euro dollar is a currency type of the geopolitical area,
then the geopolitical area is a member of european monetary union

consequent

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

Government.kif 3154-3158

If a geopolitical area is an instance of nation and the geopolitical area is a member of european monetary union,
then euro dollar is a currency type of the geopolitical area

statement

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

Merge.kif 7068-7070

A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: