Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuropeanMonetaryUnion

Sigma KEE - EuropeanMonetaryUnion
EuropeanMonetaryUnion(european monetary union)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3196-3196 The day 7 is a date established of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3192-3192 European monetary union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3197-3197 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 3195-3195 "EMU" is an abbreviation of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3194-3194 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 3193-3193 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 3199-3199 Austria is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3200-3200 Belgium is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3201-3201 Cyprus is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3202-3202 Estonia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3203-3203 Finland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3204-3204 France is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3205-3205 Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3206-3206 Greece is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3207-3207 Ireland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3208-3208 Italy is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3209-3209 Latvia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3210-3210 Lithuania is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3211-3211 Luxembourg is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 Malta is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3213-3213 Netherlands is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3214-3214 Portugal is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3215-3215 Slovakia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3216-3216 Slovenia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3217-3217 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 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 is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 United kingdom is not a member of european monetary union


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners