No TPTP formula. May not be expressible in strict first order.	Government.kif 2926-2926	conventionalLongName "Caribbean Community and Common Market" and CaribbeanCommunityAndCommonMarket
No TPTP formula. May not be expressible in strict first order.	Government.kif 2933-2933	conventionalLongName "Caribbean Development Bank" and CaribbeanDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3333-3333	conventionalLongName "Cartagena Group" and GroupOf11
No TPTP formula. May not be expressible in strict first order.	Government.kif 2940-2940	conventionalLongName "Central African States Development Bank" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2947-2947	conventionalLongName "Central American Bank for Economic Integration" and CentralAmericanBankForEconomicIntegration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2955-2955	conventionalLongName "Central American Common Market" and CentralAmericanCommonMarket
No TPTP formula. May not be expressible in strict first order.	Government.kif 2961-2961	conventionalLongName "Central European Initiative" and CentralEuropeanInitiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 2970-2970	conventionalLongName "Colombo Plan" and ColomboPlan
No TPTP formula. May not be expressible in strict first order.	Government.kif 2985-2985	conventionalLongName "Commonwealth of Independent States" and CommonwealthOfIndependentStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 2977-2977	conventionalLongName "Commonwealth of Nations" and CommonwealthOfNations
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3186-3186	conventionalLongName "Convention for the Conservation of Antarctic Seals" and AntarcticSealsConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3206-3206	conventionalLongName "Convention on Biological Diversity" and BiodiversityConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3269-3270	conventionalLongName "Convention on Fishing and Conservation of Living Resources of the High Seas" and MarineLifeConservationConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3140-3140	conventionalLongName "Convention on Long-Range Transboundary Air Pollution" and AirPollutionConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3311-3312	conventionalLongName "Convention on Wetlands of International Importance Especially as Waterfowl Habitat" and WetlandsConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3179-3180	conventionalLongName "Convention on the Conservation of Antarctic Marine Living Resources" and Antarctic-MarineLivingResourcesConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3231-3232	conventionalLongName "Convention on the International Trade in Endangered Species of Wild Flora and Fauna" and EndangeredSpeciesConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3261-3262	conventionalLongName "Convention on the Prevention of Marine Pollution by Dumping Wastes and Other Matter" and MarineDumpingConvention
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3239-3240	conventionalLongName "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques" and EnvironmentalModificationConvention
No TPTP formula. May not be expressible in strict first order.	Government.kif 2991-2991	conventionalLongName "Coordinating Committee on Export Controls" and CoordinatingCommitteeOnExportControls
No TPTP formula. May not be expressible in strict first order.	Government.kif 3004-3004	conventionalLongName "Council for Mutual Economic Assistance" and CouncilForMutualEconomicAssistance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3012-3012	conventionalLongName "Council of Arab Economic Unity" and CouncilOfArabEconomicUnity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3023-3023	conventionalLongName "Council of Europe" and CouncilOfEurope
No TPTP formula. May not be expressible in strict first order.	Government.kif 3033-3033	conventionalLongName "Council of the Baltic Sea States" and CouncilOfTheBalticSeaStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 3043-3043	conventionalLongName "Council of the Entente" and CouncilOfTheEntente
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