EuropeanMonetaryUnion |
appearance as argument number 1 |
(dateEstablished EuropeanMonetaryUnion (DayFn 7 (MonthFn February (YearFn 1992)))) |
Government.kif 3196-3196 | dateEstablished EuropeanMonetaryUnion and il giorno 7 |
(instance EuropeanMonetaryUnion OrganizationOfNations) | Government.kif 3192-3192 | EuropeanMonetaryUnion è un' istanza di OrganizationOfNations |
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) | Government.kif 3197-3197 | organizationalObjective EuropeanMonetaryUnion and MonetaryUnion |
appearance as argument number 2 |
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 | Denmark è un membro di EuropeanMonetaryUnion |
(not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3220-3220 | Sweden è un membro di EuropeanMonetaryUnion |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3221-3221 | UnitedKingdom è un membro di EuropeanMonetaryUnion |