| appearance as argument number 1 |
|
| (dateEstablished EuropeanMonetaryUnion (DayFn 7 (MonthFn February (YearFn 1992)))) |
Government.kif 3159-3159 | |
| (instance EuropeanMonetaryUnion OrganizationOfNations) | Government.kif 3155-3155 | |
| (organizationalObjective EuropeanMonetaryUnion MonetaryUnion) | Government.kif 3160-3160 |
| appearance as argument number 2 |
|
|
| (abbreviation "EMU" EuropeanMonetaryUnion) | Government.kif 3158-3158 | |
| (conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) | Government.kif 3157-3157 | |
| (conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) | Government.kif 3156-3156 | |
| (member Austria EuropeanMonetaryUnion) | Government.kif 3162-3162 | |
| (member Belgium EuropeanMonetaryUnion) | Government.kif 3163-3163 | |
| (member Cyprus EuropeanMonetaryUnion) | Government.kif 3164-3164 | |
| (member Estonia EuropeanMonetaryUnion) | Government.kif 3165-3165 | |
| (member Finland EuropeanMonetaryUnion) | Government.kif 3166-3166 | |
| (member France EuropeanMonetaryUnion) | Government.kif 3167-3167 | |
| (member Germany EuropeanMonetaryUnion) | Government.kif 3168-3168 | |
| (member Greece EuropeanMonetaryUnion) | Government.kif 3169-3169 | |
| (member Ireland EuropeanMonetaryUnion) | Government.kif 3170-3170 | |
| (member Italy EuropeanMonetaryUnion) | Government.kif 3171-3171 | |
| (member Latvia EuropeanMonetaryUnion) | Government.kif 3172-3172 | |
| (member Lithuania EuropeanMonetaryUnion) | Government.kif 3173-3173 | |
| (member Luxembourg EuropeanMonetaryUnion) | Government.kif 3174-3174 | |
| (member Malta EuropeanMonetaryUnion) | Government.kif 3175-3175 | |
| (member Netherlands EuropeanMonetaryUnion) | Government.kif 3176-3176 | |
| (member Portugal EuropeanMonetaryUnion) | Government.kif 3177-3177 | |
| (member Slovakia EuropeanMonetaryUnion) | Government.kif 3178-3178 | |
| (member Slovenia EuropeanMonetaryUnion) | Government.kif 3179-3179 | |
| (member Spain EuropeanMonetaryUnion) | Government.kif 3180-3180 | |
| (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 3186-3190 |
| consequent |
|
|
| (=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3192-3196 |
| statement |
|
|
| (not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3182-3182 | |
| (not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3183-3183 | |
| (not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3184-3184 |
|
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 3.0 is open source software produced by Articulate Software and its partners