No TPTP formula. May not be expressible in strict first order.	Government.kif 3707-3707	organizationalObjective OrganizationForEconomicCooperationAndDevelopment and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3741-3741	organizationalObjective OrganizationOfAfricanUnity and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3766-3766	organizationalObjective OrganizationOfArabPetroleumExportingCountries and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3773-3773	organizationalObjective OrganizationOfEasternCaribbeanStates and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3787-3787	organizationalObjective OrganizationOfTheIslamicConference and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3796-3796	organizationalObjective PacificCommunity and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3835-3835	organizationalObjective SouthAsianAssociationForRegionalCooperation and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3842-3842	organizationalObjective SouthPacificRegionalTradeAndEconomicCooperationAgreement and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3867-3867	organizationalObjective SouthernConeCommonMarket and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2656-2656	EconomicIntegration est un sous-attribut de EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2657-2657	EconomicPolicyCoordination est un sous-attribut de EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2661-2661	EnergyCooperation est un sous-attribut de EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2659-2659	FinancialCooperation est un sous-attribut de EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21138-21138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21137-21137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21136-21136

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