conventionalLongName

-------------------------


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