No TPTP formula. May not be expressible in strict first order.	Government.kif 3553-3553	formerName "Intergovernmental Maritime Consultative Organization" and InternationalMaritimeOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4327-4327	formerName "International Federation of Christian Trade Unions" and WorldConfederationOfLabor
No TPTP formula. May not be expressible in strict first order.	Government.kif 3534-3534	formerName "International Hydrographic Bureau" and InternationalHydrographicOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3611-3611	formerName "International Telegraph Union" and InternationalTelecommunicationUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3751-3751	formerName "International Union of American Republics" and OrganizationOfAmericanStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 3507-3507	formerName "LORCS" and InternationalFederationOfRedCrossAndRedCrescentSocieties
No TPTP formula. May not be expressible in strict first order.	Government.kif 3506-3506	formerName "League of Red Cross and Red Crescent Societies" and InternationalFederationOfRedCrossAndRedCrescentSocieties
No TPTP formula. May not be expressible in strict first order.	Government.kif 3698-3698	formerName "London Group" and NuclearSuppliersGroup
No TPTP formula. May not be expressible in strict first order.	Government.kif 3697-3697	formerName "London Suppliers Group" and NuclearSuppliersGroup
No TPTP formula. May not be expressible in strict first order.	Economy.kif 363-363	formerName "NIC" and NewlyIndustrializingEconomy
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4228-4228	formerName "New Hebrides" and Vanuatu
No TPTP formula. May not be expressible in strict first order.	Economy.kif 362-362	formerName "Newly Industrializing Countries" and NewlyIndustrializingEconomy
No TPTP formula. May not be expressible in strict first order.	Government.kif 3156-3156	formerName "North Atlantic Cooperation Council" and EuroAtlanticPartnershipCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3582-3582	formerName "Provisional Intergovernmental Committee for the Movement of Migrants from Europe" and InternationalOrganizationForMigration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2963-2963	formerName "Quadrilateral Initiative" and CentralEuropeanInitiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 3856-3856	formerName "SADCC" and SouthernAfricanDevelopmentCommunity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3794-3794	formerName "SPC" and PacificCommunity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 186-186	formerName "Second World" and FormerSovietOrEasternEuropeanCountry
No TPTP formula. May not be expressible in strict first order.	Government.kif 3793-3793	formerName "South Pacific Commission" and PacificCommunity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3801-3801	formerName "South Pacific Forum" and PacificIslandForum
No TPTP formula. May not be expressible in strict first order.	Government.kif 3855-3855	formerName "Southern African Development Coordination Conference" and SouthernAfricanDevelopmentCommunity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 208-208	formerName "Third World" and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Government.kif 3649-3649	formerName "UDEAC" and MonetaryAndEconomicCommunityOfCentralAfrica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4135-4135	formerName "UN Fund for Population Activities" and UnitedNationsPopulationFund
No TPTP formula. May not be expressible in strict first order.	Government.kif 3889-3889	formerName "UN International Childrens Emergency Fund" and UnitedNationsChildrensFund
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