EuropeanMonetaryUnion |
appearance as argument number 1 |
![]() |
(dateEstablished EuropeanMonetaryUnion (DayFn 7 (MonthFn February (YearFn 1992)))) |
Government.kif 3157-3157 | dateEstablished EuropeanMonetaryUnion and 7 day 目 |
(instance EuropeanMonetaryUnion OrganizationOfNations) | Government.kif 3153-3153 | EuropeanMonetaryUnion は OrganizationOfNations の instance では |
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) | Government.kif 3158-3158 | organizationalObjective EuropeanMonetaryUnion and MonetaryUnion |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3184-3188 |
|
consequent |
![]() |
(=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3190-3194 |
|
statement |
![]() |
(not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3180-3180 | Denmark は EuropeanMonetaryUnion の member では |
(not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3181-3181 | Sweden は EuropeanMonetaryUnion の member では |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3182-3182 | UnitedKingdom は EuropeanMonetaryUnion の member では |
![]() |
![]() |