No TPTP formula. May not be expressible in strict first order.	Government.kif 3051-3051	conventionalLongName "Customs Cooperation Council" and WorldCustomsOrganization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 128-128	conventionalLongName "Developed Country" and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Government.kif 3058-3058	conventionalLongName "East African Development Bank" and EastAfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3138-3138	conventionalLongName "Economic Community of West African States" and EconomicCommunityOfWestAfricanStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 3131-3131	conventionalLongName "Economic Community of the Great Lakes Countries" and EconomicCommunityOfTheGreatLakesCountries
No TPTP formula. May not be expressible in strict first order.	Government.kif 3144-3144	conventionalLongName "Economic Cooperation Organization" and EconomicCooperationOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3064-3064	conventionalLongName "Economic and Social Council" and EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3154-3154	conventionalLongName "Euro-Atlantic Partnership Council" and EuroAtlanticPartnershipCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3163-3163	conventionalLongName "European Bank for Reconstruction and Development" and EuropeanBankForReconstructionAndDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3174-3174	conventionalLongName "European Communities" and EuropeanCommunity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3173-3173	conventionalLongName "European Community" and EuropeanCommunity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3194-3194	conventionalLongName "European Economic and Monetary Union" and EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3181-3181	conventionalLongName "European Free Trade Association" and EuropeanFreeTradeAssociation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3187-3187	conventionalLongName "European Investment Bank" and EuropeanInvestmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3193-3193	conventionalLongName "European Monetary Union" and EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3236-3236	conventionalLongName "European Organization for Nuclear Research" and EuropeanOrganizationForNuclearResearch
No TPTP formula. May not be expressible in strict first order.	Government.kif 3245-3245	conventionalLongName "European Space Agency" and EuropeanSpaceAgency
No TPTP formula. May not be expressible in strict first order.	Government.kif 3252-3252	conventionalLongName "European Union" and EuropeanUnion
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4210-4210	conventionalLongName "Federated States of Micronesia" and Micronesia
No TPTP formula. May not be expressible in strict first order.	Government.kif 3263-3263	conventionalLongName "Food and Agriculture Organization" and FoodAndAgricultureOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3269-3269	conventionalLongName "Franc Zone" and FrancZone
No TPTP formula. May not be expressible in strict first order.	Government.kif 3320-3320	conventionalLongName "Group of 10" and GroupOf10
No TPTP formula. May not be expressible in strict first order.	Government.kif 3332-3332	conventionalLongName "Group of 11" and GroupOf11
No TPTP formula. May not be expressible in strict first order.	Government.kif 3339-3339	conventionalLongName "Group of 15" and GroupOf15
No TPTP formula. May not be expressible in strict first order.	Government.kif 3349-3349	conventionalLongName "Group of 24" and GroupOf24
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