No TPTP formula. May not be expressible in strict first order.	Government.kif 2870-2870	organizationalObjective AssociationOfSoutheastAsianNations and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2871-2871	organizationalObjective AssociationOfSoutheastAsianNations and SocialCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2884-2884	organizationalObjective AustraliaGroup and CBWExportControls
No TPTP formula. May not be expressible in strict first order.	Government.kif 2890-2890	organizationalObjective AustraliaNewZealandUnitedStatesSecurityTreaty and MutualDefensePact
No TPTP formula. May not be expressible in strict first order.	Government.kif 2896-2896	organizationalObjective BankForInternationalSettlements and FinancialCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2902-2902	organizationalObjective BeneluxEconomicUnion and EconomicIntegration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2910-2910	organizationalObjective BigSeven and EconomicPolicyCoordination
No TPTP formula. May not be expressible in strict first order.	Government.kif 2916-2916	organizationalObjective BigSix and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2923-2923	organizationalObjective BlackSeaEconomicCooperationZone and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2922-2922	organizationalObjective BlackSeaEconomicCooperationZone and PromoteRegionalStability
No TPTP formula. May not be expressible in strict first order.	Government.kif 2930-2930	organizationalObjective CaribbeanCommunityAndCommonMarket and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 2929-2929	organizationalObjective CaribbeanCommunityAndCommonMarket and EconomicIntegration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2937-2937	organizationalObjective CaribbeanDevelopmentBank and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2936-2936	organizationalObjective CaribbeanDevelopmentBank and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 2944-2944	organizationalObjective CentralAfricanStatesDevelopmentBank and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 2952-2952	organizationalObjective CentralAmericanBankForEconomicIntegration and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 2951-2951	organizationalObjective CentralAmericanBankForEconomicIntegration and EconomicIntegration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2958-2958	organizationalObjective CentralAmericanCommonMarket and EconomicIntegration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2966-2966	organizationalObjective CentralEuropeanInitiative and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2967-2967	organizationalObjective CentralEuropeanInitiative and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2973-2973	organizationalObjective ColomboPlan and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 2974-2974	organizationalObjective ColomboPlan and SocialDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 2988-2988	organizationalObjective CommonwealthOfIndependentStates and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2982-2982	organizationalObjective CommonwealthOfNations and EconomicCooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2981-2981	organizationalObjective CommonwealthOfNations and PoliticalCooperation
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