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 |