formerName

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


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