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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4020-4020	dateEstablished UnitedNationsHighCommissionerForRefugees and o dia 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4027-4027	dateEstablished UnitedNationsIndustrialDevelopmentOrganization and o dia 17
No TPTP formula. May not be expressible in strict first order.	Government.kif 4034-4034	dateEstablished UnitedNationsInstituteForTrainingAndResearch and o dia 11
No TPTP formula. May not be expressible in strict first order.	Government.kif 4040-4040	dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and o dia 10
No TPTP formula. May not be expressible in strict first order.	Government.kif 4047-4047	dateEstablished UnitedNationsInterimForceInLebanon and o dia 19
No TPTP formula. May not be expressible in strict first order.	Government.kif 3994-3994	dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute and o dia 29
No TPTP formula. May not be expressible in strict first order.	Government.kif 4231-4231	dateEstablished UnitedNationsIraqKuwaitBoundaryDemarcationCommission and o ano 1991
No TPTP formula. May not be expressible in strict first order.	Government.kif 4054-4054	dateEstablished UnitedNationsIraqKuwaitObservationMission and o dia 9
No TPTP formula. May not be expressible in strict first order.	Government.kif 4060-4060	dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan and o dia 24
No TPTP formula. May not be expressible in strict first order.	Government.kif 4066-4066	dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and o dia 29
No TPTP formula. May not be expressible in strict first order.	Government.kif 4073-4073	dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and o dia 21
No TPTP formula. May not be expressible in strict first order.	Government.kif 4081-4081	dateEstablished UnitedNationsMissionInEthiopiaAndEritrea and o dia 31
No TPTP formula. May not be expressible in strict first order.	Government.kif 4087-4087	dateEstablished UnitedNationsMissionInSierraLeone and o dia 22
No TPTP formula. May not be expressible in strict first order.	Government.kif 4094-4094	dateEstablished UnitedNationsMissionOfObserversInPrevlaka and o dia 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 4100-4100	dateEstablished UnitedNationsMissionOfObserversInTajikistan and o dia 16
No TPTP formula. May not be expressible in strict first order.	Government.kif 4107-4107	dateEstablished UnitedNationsMonitoringAndVerificationCommission and o ano 1999
No TPTP formula. May not be expressible in strict first order.	Government.kif 4116-4116	dateEstablished UnitedNationsObserverMissionInGeorgia and o dia 24
No TPTP formula. May not be expressible in strict first order.	Government.kif 4123-4123	dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and o dia 30
No TPTP formula. May not be expressible in strict first order.	Government.kif 4129-4129	dateEstablished UnitedNationsPeaceKeepingForceInCyprus and o dia 4
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