|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | Caribbean community and common market is a conventional long name of "Caribbean Community and Common Market" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2864-2864 | Caribbean development bank is a conventional long name of "Caribbean Development Bank" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3264-3264 | Group of11 is a conventional long name of "Cartagena Group" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2871-2871 | Central african states development bank is a conventional long name of "Central African States Development Bank" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2878-2878 | Central american bank for economic integration is a conventional long name of "Central American Bank for Economic Integration" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2886-2886 | Central american common market is a conventional long name of "Central American Common Market" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2892-2892 | Central european initiative is a conventional long name of "Central European Initiative" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | Colombo plan is a conventional long name of "Colombo Plan" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2916-2916 | Commonwealth of independent states is a conventional long name of "Commonwealth of Independent States" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2908-2908 | Commonwealth of nations is a conventional long name of "Commonwealth of Nations" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3045-3045 | Antarctic seals convention is a conventional long name of "Convention for the Conservation of Antarctic Seals" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3065-3065 | Biodiversity convention is a conventional long name of "Convention on Biological Diversity" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3128-3129 | Marine life conservation convention is a conventional long name of "Convention on Fishing and Conservation of Living Resources of the High Seas" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2999-2999 | Air pollution convention is a conventional long name of "Convention on Long-Range Transboundary Air Pollution" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3170-3171 | Wetlands convention is a conventional long name of "Convention on Wetlands of International Importance Especially as Waterfowl Habitat" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3038-3039 | Antarctic- marine living resources convention is a conventional long name of "Convention on the Conservation of Antarctic Marine Living Resources" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3090-3091 | Endangered species convention is a conventional long name of "Convention on the International Trade in Endangered Species of Wild Flora and Fauna" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3120-3121 | Marine dumping convention is a conventional long name of "Convention on the Prevention of Marine Pollution by Dumping Wastes and Other Matter" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3098-3099 | Environmental modification convention is a conventional long name of "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2922-2922 | Coordinating committee on export controls is a conventional long name of "Coordinating Committee on Export Controls" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | Council for mutual economic assistance is a conventional long name of "Council for Mutual Economic Assistance" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | Council of arab economic unity is a conventional long name of "Council of Arab Economic Unity" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2954-2954 | Council of europe is a conventional long name of "Council of Europe" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2964-2964 | Council of the baltic sea states is a conventional long name of "Council of the Baltic Sea States" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2974-2974 | Council of the entente is a conventional long name of "Council of the Entente" |
| 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