conventionalLongName

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


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