No TPTP formula. May not be expressible in strict first order.	Government.kif 2939-2939	CentralAfricanStatesDevelopmentBank e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2946-2946	CentralAmericanBankForEconomicIntegration e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2954-2954	CentralAmericanCommonMarket e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2960-2960	CentralEuropeanInitiative e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2969-2969	ColomboPlan e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2984-2984	CommonwealthOfIndependentStates e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2976-2976	CommonwealthOfNations e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2990-2990	CoordinatingCommitteeOnExportControls e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3003-3003	CouncilForMutualEconomicAssistance e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3011-3011	CouncilOfArabEconomicUnity e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3022-3022	CouncilOfEurope e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3032-3032	CouncilOfTheBalticSeaStates e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3042-3042	CouncilOfTheEntente e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3057-3057	EastAfricanDevelopmentBank e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3063-3063	EconomicAndSocialCouncil e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3130-3130	EconomicCommunityOfTheGreatLakesCountries e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3137-3137	EconomicCommunityOfWestAfricanStates e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3143-3143	EconomicCooperationOrganization e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3153-3153	EuroAtlanticPartnershipCouncil e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3162-3162	EuropeanBankForReconstructionAndDevelopment e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3168-3168	EuropeanCommunity e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3180-3180	EuropeanFreeTradeAssociation e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3186-3186	EuropeanInvestmentBank e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3192-3192	EuropeanMonetaryUnion e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3235-3235	EuropeanOrganizationForNuclearResearch e' uma instancia de OrganizationOfNations
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