|
|
  EuropeanMonetaryUnion
|
|
|
| appearance as argument number 1 |
|
|
| (dateEstablished EuropeanMonetaryUnion (DayFn 7 (MonthFn February (YearFn 1992)))) |
Government.kif 3176-3176 | |
| (instance EuropeanMonetaryUnion OrganizationOfNations) | Government.kif 3172-3172 | |
| (organizationalObjective EuropeanMonetaryUnion MonetaryUnion) | Government.kif 3177-3177 |
| appearance as argument number 2 |
|
|
| (abbreviation "EMU" EuropeanMonetaryUnion) | Government.kif 3175-3175 | |
| (conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) | Government.kif 3174-3174 | |
| (conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) | Government.kif 3173-3173 | |
| (member Austria EuropeanMonetaryUnion) | Government.kif 3179-3179 | |
| (member Belgium EuropeanMonetaryUnion) | Government.kif 3180-3180 | |
| (member Cyprus EuropeanMonetaryUnion) | Government.kif 3181-3181 | |
| (member Estonia EuropeanMonetaryUnion) | Government.kif 3182-3182 | |
| (member Finland EuropeanMonetaryUnion) | Government.kif 3183-3183 | |
| (member France EuropeanMonetaryUnion) | Government.kif 3184-3184 | |
| (member Germany EuropeanMonetaryUnion) | Government.kif 3185-3185 | |
| (member Greece EuropeanMonetaryUnion) | Government.kif 3186-3186 | |
| (member Ireland EuropeanMonetaryUnion) | Government.kif 3187-3187 | |
| (member Italy EuropeanMonetaryUnion) | Government.kif 3188-3188 | |
| (member Latvia EuropeanMonetaryUnion) | Government.kif 3189-3189 | |
| (member Lithuania EuropeanMonetaryUnion) | Government.kif 3190-3190 | |
| (member Luxembourg EuropeanMonetaryUnion) | Government.kif 3191-3191 | |
| (member Malta EuropeanMonetaryUnion) | Government.kif 3192-3192 | |
| (member Netherlands EuropeanMonetaryUnion) | Government.kif 3193-3193 | |
| (member Portugal EuropeanMonetaryUnion) | Government.kif 3194-3194 | |
| (member Slovakia EuropeanMonetaryUnion) | Government.kif 3195-3195 | |
| (member Slovenia EuropeanMonetaryUnion) | Government.kif 3196-3196 | |
| (member Spain EuropeanMonetaryUnion) | Government.kif 3197-3197 | |
| (termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") | domainEnglishFormat.kif 22563-22563 | |
| (termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") | domainEnglishFormat.kif 22562-22562 | |
| (termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") | domainEnglishFormat.kif 22561-22561 | |
| 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 3203-3207 |
| consequent |
|
|
| (=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3209-3213 |
| statement |
|
|
| (not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3199-3199 | |
| (not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3200-3200 | |
| (not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3201-3201 |
|
|
|