|
|
  EuropeanMonetaryUnion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | dateEstablished EuropeanMonetaryUnion and le jour 7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3192-3192 | EuropeanMonetaryUnion est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3197-3197 | organizationalObjective EuropeanMonetaryUnion and MonetaryUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3195-3195 | abbreviation "EMU" and EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3194-3194 | conventionalLongName "European Economic and Monetary Union" and EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3193-3193 | conventionalLongName "European Monetary Union" and EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3199-3199 | Austria est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3200-3200 | Belgium est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3201-3201 | Cyprus est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3202-3202 | Estonia est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3203-3203 | Finland est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3204-3204 | France est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3205-3205 | Germany est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | Greece est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3207-3207 | Ireland est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3208-3208 | Italy est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3209-3209 | Latvia est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3210-3210 | Lithuania est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3211-3211 | Luxembourg est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3212-3212 | Malta est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3213-3213 | Netherlands est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3214-3214 | Portugal est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3215-3215 | Slovakia est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3216-3216 | Slovenia est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3217-3217 | Spain est un membre de EuropeanMonetaryUnion |
| 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 3223-3227 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3229-3233 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3219-3219 | Denmark est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3220-3220 | Sweden est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3221-3221 | UnitedKingdom est un membre de EuropeanMonetaryUnion |
|
|
|