OrganizationOfNations(organization of nations)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2939-2939 Central african states development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2946-2946 Central american bank for economic integration is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2954-2954 Central american common market is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2960-2960 Central european initiative is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2969-2969 Colombo plan is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2984-2984 Commonwealth of independent states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2976-2976 Commonwealth of nations is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2990-2990 Coordinating committee on export controls is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3003-3003 Council for mutual economic assistance is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3011-3011 Council of arab economic unity is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3022-3022 Council of europe is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3032-3032 Council of the baltic sea states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3042-3042 Council of the entente is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3057-3057 East african development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3063-3063 Economic and social council is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3130-3130 Economic community of the great lakes countries is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3137-3137 Economic community of west african states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3143-3143 Economic cooperation organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3153-3153 Euro atlantic partnership council is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3162-3162 European bank for reconstruction and development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3168-3168 European community is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3180-3180 European free trade association is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3186-3186 European investment bank is an instance of organization of nations
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 3235-3235 European organization for nuclear research is an instance of organization of nations

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