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