No TPTP formula. May not be expressible in strict first order.	Government.kif 3279-3279	organizationalObjective GroupOf3 and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3285-3285	organizationalObjective GroupOf5 and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3292-3292	organizationalObjective GroupOf6 and NuclearDisarmament
No TPTP formula. May not be expressible in strict first order.	Government.kif 3302-3302	organizationalObjective GroupOf7 and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3362-3362	organizationalObjective GroupOf77 and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3308-3308	organizationalObjective GroupOf8 and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3317-3317	organizationalObjective GroupOf9 and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3369-3369	organizationalObjective GulfCooperationCouncil and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3370-3370	organizationalObjective GulfCooperationCouncil and MilitaryCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3368-3368	organizationalObjective GulfCooperationCouncil and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3371-3371	organizationalObjective GulfCooperationCouncil and SocialCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3377-3377	organizationalObjective IndianOceanCommission and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3378-3378	organizationalObjective IndianOceanCommission and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3386-3386	organizationalObjective InterAmericanDevelopmentBank and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3387-3387	organizationalObjective InterAmericanDevelopmentBank and SocialDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3396-3396	organizationalObjective InterGovernmentalAuthorityOnDevelopment and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3397-3397	organizationalObjective InterGovernmentalAuthorityOnDevelopment and ScientificCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3395-3395	organizationalObjective InterGovernmentalAuthorityOnDevelopment and SocialCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3408-3408	organizationalObjective InternationalAtomicEnergyAgency and PeacefulUseOfAtomicPower
No TPTP formula. May not be expressible in strict first order.	Government.kif 3415-3415	organizationalObjective InternationalBankForReconstructionAndDevelopment and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3422-3422	organizationalObjective InternationalChamberOfCommerce and PromotionOfFreeTrade
No TPTP formula. May not be expressible in strict first order.	Government.kif 3424-3424	organizationalObjective InternationalChamberOfCommerce and PromotionOfPrivateEnterprise
No TPTP formula. May not be expressible in strict first order.	Government.kif 3423-3423	organizationalObjective InternationalChamberOfCommerce and PromotionOfTradeAndInvestment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3431-3431	organizationalObjective InternationalCivilAviationOrganization and CooperationInCivilAviation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3438-3438	organizationalObjective InternationalCommitteeOfTheRedCross and HumanitarianAid
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