|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2926-2926 | 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 2933-2933 | 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 3333-3333 | Group of11 is a conventional long name of "Cartagena Group" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2940-2940 | 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 2947-2947 | 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 2955-2955 | 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 2961-2961 | 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 2970-2970 | Colombo plan is a conventional long name of "Colombo Plan" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2985-2985 | 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 2977-2977 | 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 3186-3186 | 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 3206-3206 | 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 3269-3270 | 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 3140-3140 | 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 3311-3312 | 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 3179-3180 | 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 3231-3232 | 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 3261-3262 | 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 3239-3240 | 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 2991-2991 | 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 3004-3004 | 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 3012-3012 | 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 3023-3023 | 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 3033-3033 | 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 3043-3043 | 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