Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EuropeanMonetaryUnion(european monetary union) |
| appearance as argument number 1 |
|
| (instance EuropeanMonetaryUnion OrganizationOfNations) | Government.kif 3184-3184 | European monetary union is an instance of organization of nations |
| (dateEstablished EuropeanMonetaryUnion (DayFn 7 (MonthFn February (YearFn 1992)))) |
Government.kif 3188-3188 | The day 7 of month the month February is a date established of european monetary union |
| (organizationalObjective EuropeanMonetaryUnion MonetaryUnion) | Government.kif 3189-3189 | Monetary union is an organizational objective of european monetary union |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3215-3219 | If X is an instance of nation and X is a member of european monetary union, then euro dollar is a currency type of X |
| consequent |
|
|
| (=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3221-3225 | If X is an instance of nation and euro dollar is a currency type of X, then X is a member of european monetary union |
| statement |
|
|
|