No TPTP formula. May not be expressible in strict first order.	Government.kif 3159-3159	organizationalObjective EuroAtlanticPartnershipCouncil and MilitaryCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3158-3158	organizationalObjective EuroAtlanticPartnershipCouncil and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3166-3166	organizationalObjective EuropeanBankForReconstructionAndDevelopment and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3177-3177	organizationalObjective EuropeanCommunity and EconomicIntegration
No TPTP formula. May not be expressible in strict first order.	Government.kif 3178-3178	organizationalObjective EuropeanCommunity and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3184-3184	organizationalObjective EuropeanFreeTradeAssociation and PromotionOfFreeTrade
No TPTP formula. May not be expressible in strict first order.	Government.kif 3190-3190	organizationalObjective EuropeanInvestmentBank and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3197-3197	organizationalObjective EuropeanMonetaryUnion and MonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3240-3240	organizationalObjective EuropeanOrganizationForNuclearResearch and PeacefulUseOfAtomicPower
No TPTP formula. May not be expressible in strict first order.	Government.kif 3242-3242	organizationalObjective EuropeanOrganizationForNuclearResearch and ScientificCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3241-3241	organizationalObjective EuropeanOrganizationForNuclearResearch and TechnologyCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3248-3248	organizationalObjective EuropeanSpaceAgency and SpaceResearchAndTechnology
No TPTP formula. May not be expressible in strict first order.	Government.kif 3249-3249	organizationalObjective EuropeanSpaceAgency and TechnologyCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3255-3255	organizationalObjective EuropeanUnion and EconomicIntegration
No TPTP formula. May not be expressible in strict first order.	Government.kif 3259-3259	organizationalObjective EuropeanUnion and MilitaryCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3256-3256	organizationalObjective EuropeanUnion and MonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3257-3257	organizationalObjective EuropeanUnion and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3258-3258	organizationalObjective EuropeanUnion and SocialCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3266-3266	organizationalObjective FoodAndAgricultureOrganization and AgriculturalDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3273-3273	organizationalObjective FrancZone and MonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3324-3324	organizationalObjective GroupOf10 and CoordinateCreditPolicy
No TPTP formula. May not be expressible in strict first order.	Government.kif 3336-3336	organizationalObjective GroupOf11 and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3342-3342	organizationalObjective GroupOf15 and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3343-3343	organizationalObjective GroupOf15 and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3352-3352	organizationalObjective GroupOf24 and EconomicCooperation
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