conventionalLongName

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


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