EuropeanMonetaryUnion
|
|
appearance as argument number 1 |
(dateEstablished EuropeanMonetaryUnion (DayFn 7 (MonthFn February (YearFn 1992)))) |
Government.kif 3196-3196 | |
(instance EuropeanMonetaryUnion OrganizationOfNations) | Government.kif 3192-3192 | |
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) | Government.kif 3197-3197 |
appearance as argument number 2 |
(abbreviation "EMU" EuropeanMonetaryUnion) | Government.kif 3195-3195 | |
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) | Government.kif 3194-3194 | |
(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) | Government.kif 3193-3193 | |
(member Austria EuropeanMonetaryUnion) | Government.kif 3199-3199 | |
(member Belgium EuropeanMonetaryUnion) | Government.kif 3200-3200 | |
(member Cyprus EuropeanMonetaryUnion) | Government.kif 3201-3201 | |
(member Estonia EuropeanMonetaryUnion) | Government.kif 3202-3202 | |
(member Finland EuropeanMonetaryUnion) | Government.kif 3203-3203 | |
(member France EuropeanMonetaryUnion) | Government.kif 3204-3204 | |
(member Germany EuropeanMonetaryUnion) | Government.kif 3205-3205 | |
(member Greece EuropeanMonetaryUnion) | Government.kif 3206-3206 | |
(member Ireland EuropeanMonetaryUnion) | Government.kif 3207-3207 | |
(member Italy EuropeanMonetaryUnion) | Government.kif 3208-3208 | |
(member Latvia EuropeanMonetaryUnion) | Government.kif 3209-3209 | |
(member Lithuania EuropeanMonetaryUnion) | Government.kif 3210-3210 | |
(member Luxembourg EuropeanMonetaryUnion) | Government.kif 3211-3211 | |
(member Malta EuropeanMonetaryUnion) | Government.kif 3212-3212 | |
(member Netherlands EuropeanMonetaryUnion) | Government.kif 3213-3213 | |
(member Portugal EuropeanMonetaryUnion) | Government.kif 3214-3214 | |
(member Slovakia EuropeanMonetaryUnion) | Government.kif 3215-3215 | |
(member Slovenia EuropeanMonetaryUnion) | Government.kif 3216-3216 | |
(member Spain EuropeanMonetaryUnion) | Government.kif 3217-3217 | |
(termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") | domainEnglishFormat.kif 22570-22570 | |
(termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") | domainEnglishFormat.kif 22569-22569 | |
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") | domainEnglishFormat.kif 22568-22568 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3223-3227 |
consequent |
(=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3229-3233 |
statement |
(not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3219-3219 | |
(not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3220-3220 | |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3221-3221 |