|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | 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 2896-2896 | 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 3296-3296 | Group of11 is a conventional long name of "Cartagena Group" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2903-2903 | 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 2910-2910 | 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 2918-2918 | 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 2924-2924 | 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 2933-2933 | Colombo plan is a conventional long name of "Colombo Plan" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2948-2948 | 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 2940-2940 | 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 3067-3067 | 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 3087-3087 | 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 3150-3151 | 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 3021-3021 | 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 3192-3193 | 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 3060-3061 | 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 3112-3113 | 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 3142-3143 | 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 3120-3121 | 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 2954-2954 | 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 2967-2967 | 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 2975-2975 | 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 2986-2986 | 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 2996-2996 | 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 3006-3006 | 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