|
|
  EuropeanMonetaryUnion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3160-3160 | The day 7 is a date established of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3156-3156 | European monetary union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3161-3161 | Monetary union is an organizational objective of european monetary union |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3159-3159 | "EMU" is an abbreviation of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3158-3158 | European monetary union is a conventional long name of "European Economic and Monetary Union" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | European monetary union is a conventional long name of "European Monetary Union" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3163-3163 | Austria is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3164-3164 | Belgium is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | Cyprus is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3166-3166 | Estonia is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3167-3167 | Finland is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3168-3168 | France is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3169-3169 | Germany is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3170-3170 | Greece is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3171-3171 | Ireland is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3172-3172 | Italy is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3173-3173 | Latvia is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3174-3174 | Lithuania is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3175-3175 | Luxembourg is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | Malta is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3177-3177 | Netherlands is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3178-3178 | Portugal is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3179-3179 | Slovakia is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3180-3180 | Slovenia is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3181-3181 | Spain is a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22570-22570 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22569-22569 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22568-22568 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3187-3191 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3193-3197 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | Denmark is not a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3184-3184 | Sweden is not a member of european monetary union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3185-3185 | United kingdom is not a member of european monetary union |
|
|
|