dateEstablished

-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2943-2943 The day 3 is a date established of central african states development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2950-2950 The day 13 is a date established of central american bank for economic integration
No TPTP formula. May not be expressible in strict first order. Government.kif 2957-2957 The day 13 is a date established of central american common market
No TPTP formula. May not be expressible in strict first order. Government.kif 2965-2965 The day 11 is a date established of central european initiative
No TPTP formula. May not be expressible in strict first order. Government.kif 2972-2972 The month May is a date established of colombo plan
No TPTP formula. May not be expressible in strict first order. Government.kif 2987-2987 The day 8 is a date established of commonwealth of independent states
No TPTP formula. May not be expressible in strict first order. Government.kif 2980-2980 The day 31 is a date established of commonwealth of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2993-2993 The year 1949 is a date established of coordinating committee on export controls
No TPTP formula. May not be expressible in strict first order. Government.kif 3008-3008 The day 25 is a date established of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order. Government.kif 3014-3014 The day 3 is a date established of council of arab economic unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3025-3025 The day 5 is a date established of council of europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3035-3035 The day 6 is a date established of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 3045-3045 The day 29 is a date established of council of the entente
No TPTP formula. May not be expressible in strict first order. Government.kif 4829-4829 The year 2002 is a date established of department of homeland security
No TPTP formula. May not be expressible in strict first order. Government.kif 3060-3060 The day 6 is a date established of east african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3066-3066 The day 26 is a date established of economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3134-3134 The day 20 is a date established of economic community of the great lakes countries
No TPTP formula. May not be expressible in strict first order. Government.kif 3140-3140 The day 28 is a date established of economic community of west african states
No TPTP formula. May not be expressible in strict first order. Government.kif 3146-3146 The month January is a date established of economic cooperation organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3157-3157 The day 8 is a date established of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order. Government.kif 3165-3165 The day 15 is a date established of european bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order. Government.kif 3176-3176 The day 8 is a date established of european community
No TPTP formula. May not be expressible in strict first order. Government.kif 3183-3183 The day 4 is a date established of european free trade association
No TPTP formula. May not be expressible in strict first order. Government.kif 3189-3189 The day 25 is a date established of european investment bank
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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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