No TPTP formula. May not be expressible in strict first order.	Government.kif 3683-3683	dateEstablished NorthAtlanticTreatyOrganization and o dia 4
No TPTP formula. May not be expressible in strict first order.	Government.kif 3690-3690	dateEstablished NuclearEnergyAgency and o dia 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 3699-3699	dateEstablished NuclearSuppliersGroup and o ano 1974
No TPTP formula. May not be expressible in strict first order.	Government.kif 3705-3705	dateEstablished OrganizationForEconomicCooperationAndDevelopment and o dia 14
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 3824-3824	dateEstablished RioGroup and o ano 1986
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 4219-4219	dateEstablished UnitedNationsCompensationCommission and o ano 1991
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