|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2887-2887 | 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 2894-2894 | 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 3294-3294 | Group of11 is a conventional long name of "Cartagena Group" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | 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 2908-2908 | 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 2916-2916 | 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 2922-2922 | 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 2931-2931 | Colombo plan is a conventional long name of "Colombo Plan" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2946-2946 | 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 2938-2938 | 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 3344-3344 | 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 3364-3364 | 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 3427-3428 | 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 3298-3298 | 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 3469-3470 | 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 3337-3338 | 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 3389-3390 | 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 3419-3420 | 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 3397-3398 | 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 2952-2952 | 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 2965-2965 | 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 2973-2973 | 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 2984-2984 | 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 2994-2994 | 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 3004-3004 | 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