No TPTP formula. May not be expressible in strict first order.	Government.kif 3108-3108	InternationalCivilAviationOrganization e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3430-3430	InternationalCivilAviationOrganization e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3457-3457	InternationalCourtOfJustice e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4184-4184	InternationalCriminalTribunalForRwanda e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4183-4183	InternationalCriminalTribunalForTheFormerYugoslavia e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3109-3109	InternationalDevelopmentAssociation e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3490-3490	InternationalDevelopmentAssociation e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4320-4320	InternationalDevelopmentAssociation e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order.	Government.kif 3110-3110	InternationalFinanceCorporation e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3515-3515	InternationalFinanceCorporation e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4321-4321	InternationalFinanceCorporation e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order.	Government.kif 3111-3111	InternationalFundForAgriculturalDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3529-3529	InternationalFundForAgriculturalDevelopment e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3112-3112	InternationalLaborOrganization e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3544-3544	InternationalLaborOrganization e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3113-3113	InternationalMaritimeOrganization e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3561-3561	InternationalMaritimeOrganization e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3114-3114	InternationalMonetaryFund e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3568-3568	InternationalMonetaryFund e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3960-3960	InternationalResearchAndTrainingInstituteForTheAdvancementOfWomen e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 3115-3115	InternationalTelecommunicationUnion e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3618-3618	InternationalTelecommunicationUnion e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3116-3116	MulitlateralInvestmentGeographicAgency e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3692-3692	NuclearEnergyAgency e' uma parte da organizacao OrganizationForEconomicCooperationAndDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3118-3118	StatisticalCommission e' uma parte da organizacao EconomicAndSocialCouncil
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