No TPTP formula. May not be expressible in strict first order.	Government.kif 4136-4136	dateEstablished UnitedNationsPopulationFund and o mes Julho
No TPTP formula. May not be expressible in strict first order.	Government.kif 4143-4143	dateEstablished UnitedNationsPreventiveDeploymentForce and o dia 31
No TPTP formula. May not be expressible in strict first order.	Government.kif 4150-4150	dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and o dia 8
No TPTP formula. May not be expressible in strict first order.	Government.kif 4156-4156	dateEstablished UnitedNationsResearchInstituteForSocialDevelopment and o ano 1963
No TPTP formula. May not be expressible in strict first order.	Government.kif 4169-4169	dateEstablished UnitedNationsSecretariat and o dia 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 4180-4180	dateEstablished UnitedNationsSecurityCouncil and o dia 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 4237-4237	dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and o dia 25
No TPTP formula. May not be expressible in strict first order.	Government.kif 4244-4244	dateEstablished UnitedNationsTruceSupervisionOrganization and o mes June
No TPTP formula. May not be expressible in strict first order.	Government.kif 4257-4257	dateEstablished UnitedNationsTrusteeshipCouncil and o dia 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 4263-4263	dateEstablished UnitedNationsUniversity and o dia 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4274-4274	dateEstablished UniversalPostalUnion and o dia 9
No TPTP formula. May not be expressible in strict first order.	Government.kif 4284-4284	dateEstablished WarsawPact and o dia 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 4290-4290	dateEstablished WassenaarArrangement and o dia 12
No TPTP formula. May not be expressible in strict first order.	Government.kif 4298-4298	dateEstablished WestAfricanDevelopmentBank and o dia 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 4307-4307	dateEstablished WestAfricanEconomicAndMonetaryUnion and o dia 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 4313-4313	dateEstablished WesternEuropeanUnion and o dia 23
No TPTP formula. May not be expressible in strict first order.	Government.kif 4326-4326	dateEstablished WorldConfederationOfLabor and o dia 19
No TPTP formula. May not be expressible in strict first order.	Government.kif 3055-3055	dateEstablished WorldCustomsOrganization and o dia 15
No TPTP formula. May not be expressible in strict first order.	Government.kif 4338-4338	dateEstablished WorldFederationOfTradeUnions and o dia 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4344-4344	dateEstablished WorldFoodProgram and o dia 24
No TPTP formula. May not be expressible in strict first order.	Government.kif 4350-4350	dateEstablished WorldHealthOrganization and o dia 22
No TPTP formula. May not be expressible in strict first order.	Government.kif 4356-4356	dateEstablished WorldIntellectualPropertyOrganization and o dia 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 4362-4362	dateEstablished WorldMeteorologicalOrganization and o dia 11
No TPTP formula. May not be expressible in strict first order.	Government.kif 4368-4368	dateEstablished WorldTourismOrganization and o dia 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 4374-4374	dateEstablished WorldTradeOrganization and o dia 15
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