|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2870-2870 | Economic cooperation is an organizational objective of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2871-2871 | Social cooperation is an organizational objective of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2884-2884 | CBW export controls is an organizational objective of australia group |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2890-2890 | Mutual defense pact is an organizational objective of australia new zealand united states security treaty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2896-2896 | Financial cooperation is an organizational objective of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2902-2902 | Economic integration is an organizational objective of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2910-2910 | Economic policy coordination is an organizational objective of big seven |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2916-2916 | Economic cooperation is an organizational objective of big six |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2923-2923 | Economic cooperation is an organizational objective of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2922-2922 | Promote regional stability is an organizational objective of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2930-2930 | Economic development is an organizational objective of caribbean community and common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2929-2929 | Economic integration is an organizational objective of caribbean community and common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2937-2937 | Economic cooperation is an organizational objective of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2936-2936 | Economic development is an organizational objective of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2944-2944 | Economic development is an organizational objective of central african states development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2952-2952 | Economic development is an organizational objective of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2951-2951 | Economic integration is an organizational objective of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2958-2958 | Economic integration is an organizational objective of central american common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2966-2966 | Economic cooperation is an organizational objective of central european initiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2967-2967 | Political cooperation is an organizational objective of central european initiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2973-2973 | Economic development is an organizational objective of colombo plan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2974-2974 | Social development is an organizational objective of colombo plan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2988-2988 | Political cooperation is an organizational objective of commonwealth of independent states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2982-2982 | Economic cooperation is an organizational objective of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2981-2981 | Political cooperation is an organizational objective of commonwealth 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