No TPTP formula. May not be expressible in strict first order.	Government.kif 3714-3714	dateEstablished OrganizationForSecurityAndCooperationInEurope and o dia 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 3728-3728	dateEstablished OrganizationForTheProhibitionOfChemicalWeapons and o dia 29
No TPTP formula. May not be expressible in strict first order.	Government.kif 3735-3735	dateEstablished OrganizationOfAfricanUnity and o dia 25
No TPTP formula. May not be expressible in strict first order.	Government.kif 3752-3752	dateEstablished OrganizationOfAmericanStates and o dia 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 3765-3765	dateEstablished OrganizationOfArabPetroleumExportingCountries and o dia 9
No TPTP formula. May not be expressible in strict first order.	Government.kif 3771-3771	dateEstablished OrganizationOfEasternCaribbeanStates and o dia 18
No TPTP formula. May not be expressible in strict first order.	Government.kif 3779-3779	dateEstablished OrganizationOfPetroleumExportingCountries and o dia 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 3785-3785	dateEstablished OrganizationOfTheIslamicConference and o mes Setembro
No TPTP formula. May not be expressible in strict first order.	Government.kif 3795-3795	dateEstablished PacificCommunity and o dia 6
No TPTP formula. May not be expressible in strict first order.	Government.kif 3802-3802	dateEstablished PacificIslandForum and o dia 5
No TPTP formula. May not be expressible in strict first order.	Government.kif 3808-3808	dateEstablished PartnershipForPeace and o dia 11
No TPTP formula. May not be expressible in strict first order.	Government.kif 3817-3817	dateEstablished PermanentCourtOfArbitration and o dia 29
No TPTP formula. May not be expressible in strict first order.	Government.kif 3834-3834	dateEstablished SouthAsianAssociationForRegionalCooperation and o dia 8
No TPTP formula. May not be expressible in strict first order.	Government.kif 3848-3848	dateEstablished SouthernAfricanCustomsUnion and o dia 11
No TPTP formula. May not be expressible in strict first order.	Government.kif 3857-3857	dateEstablished SouthernAfricanDevelopmentCommunity and o dia 17
No TPTP formula. May not be expressible in strict first order.	Government.kif 3866-3866	dateEstablished SouthernConeCommonMarket and o dia 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 3872-3872	dateEstablished UnitedNations and o dia 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 3890-3890	dateEstablished UnitedNationsChildrensFund and o dia 11
No TPTP formula. May not be expressible in strict first order.	Government.kif 3896-3896	dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and o dia 28
No TPTP formula. May not be expressible in strict first order.	Government.kif 3902-3902	dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and o dia 30
No TPTP formula. May not be expressible in strict first order.	Government.kif 3908-3908	dateEstablished UnitedNationsDevelopmentProgram and o dia 22
No TPTP formula. May not be expressible in strict first order.	Government.kif 3916-3916	dateEstablished UnitedNationsDisengagementObserverForce and o dia 31
No TPTP formula. May not be expressible in strict first order.	Government.kif 3926-3926	dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and o dia 16
No TPTP formula. May not be expressible in strict first order.	Government.kif 3934-3934	dateEstablished UnitedNationsEnvironmentProgram and o dia 15
No TPTP formula. May not be expressible in strict first order.	Government.kif 3940-3940	dateEstablished UnitedNationsGeneralAssembly and o dia 26
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