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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3188-3188 The day 7 is a date established of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3184-3184 European monetary union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3189-3189 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 3187-3187 "EMU" is an abbreviation of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3186-3186 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 3185-3185 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 3191-3191 Austria is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3192-3192 Belgium is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3193-3193 Cyprus is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3194-3194 Estonia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3195-3195 Finland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3196-3196 France is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3197-3197 Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3198-3198 Greece is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3199-3199 Ireland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3200-3200 Italy is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3201-3201 Latvia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3202-3202 Lithuania is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3203-3203 Luxembourg is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3204-3204 Malta is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3205-3205 Netherlands is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3206-3206 Portugal is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3207-3207 Slovakia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3208-3208 Slovenia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3209-3209 Spain is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22563-22563
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22562-22562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22561-22561

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 3215-3219

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3225

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3211-3211 Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3213-3213 United kingdom is not a member of european monetary union


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



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