No TPTP formula. May not be expressible in strict first order.	Government.kif 4087-4087	dateEstablished UnitedNationsMissionInSierraLeone and le jour 22
No TPTP formula. May not be expressible in strict first order.	Government.kif 4094-4094	dateEstablished UnitedNationsMissionOfObserversInPrevlaka and le jour 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 4100-4100	dateEstablished UnitedNationsMissionOfObserversInTajikistan and le jour 16
No TPTP formula. May not be expressible in strict first order.	Government.kif 4116-4116	dateEstablished UnitedNationsObserverMissionInGeorgia and le jour 24
No TPTP formula. May not be expressible in strict first order.	Government.kif 4123-4123	dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and le jour 30
No TPTP formula. May not be expressible in strict first order.	Government.kif 4129-4129	dateEstablished UnitedNationsPeaceKeepingForceInCyprus and le jour 4
No TPTP formula. May not be expressible in strict first order.	Government.kif 4143-4143	dateEstablished UnitedNationsPreventiveDeploymentForce and le jour 31
No TPTP formula. May not be expressible in strict first order.	Government.kif 4150-4150	dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and le jour 8
No TPTP formula. May not be expressible in strict first order.	Government.kif 4169-4169	dateEstablished UnitedNationsSecretariat and le jour 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 4180-4180	dateEstablished UnitedNationsSecurityCouncil and le jour 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 4237-4237	dateEstablished UnitedNationsTransitionalAdministrationInEastTimor and le jour 25
No TPTP formula. May not be expressible in strict first order.	Government.kif 4257-4257	dateEstablished UnitedNationsTrusteeshipCouncil and le jour 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 4263-4263	dateEstablished UnitedNationsUniversity and le jour 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4274-4274	dateEstablished UniversalPostalUnion and le jour 9
No TPTP formula. May not be expressible in strict first order.	Government.kif 4284-4284	dateEstablished WarsawPact and le jour 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 4290-4290	dateEstablished WassenaarArrangement and le jour 12
No TPTP formula. May not be expressible in strict first order.	Government.kif 4298-4298	dateEstablished WestAfricanDevelopmentBank and le jour 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 4307-4307	dateEstablished WestAfricanEconomicAndMonetaryUnion and le jour 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 4313-4313	dateEstablished WesternEuropeanUnion and le jour 23
No TPTP formula. May not be expressible in strict first order.	Government.kif 4326-4326	dateEstablished WorldConfederationOfLabor and le jour 19
No TPTP formula. May not be expressible in strict first order.	Government.kif 3055-3055	dateEstablished WorldCustomsOrganization and le jour 15
No TPTP formula. May not be expressible in strict first order.	Government.kif 4338-4338	dateEstablished WorldFederationOfTradeUnions and le jour 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4344-4344	dateEstablished WorldFoodProgram and le jour 24
No TPTP formula. May not be expressible in strict first order.	Government.kif 4350-4350	dateEstablished WorldHealthOrganization and le jour 22
No TPTP formula. May not be expressible in strict first order.	Government.kif 4356-4356	dateEstablished WorldIntellectualPropertyOrganization and le jour 14
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