No TPTP formula. May not be expressible in strict first order.	Government.kif 3970-3970	formerName "UNCHS" and UnitedNationsCenterForHumanSettlements
No TPTP formula. May not be expressible in strict first order.	Government.kif 4109-4109	formerName "UNSCOM" and UnitedNationsMonitoringAndVerificationCommission
No TPTP formula. May not be expressible in strict first order.	Government.kif 3993-3993	formerName "UNSDRI" and UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
No TPTP formula. May not be expressible in strict first order.	Government.kif 3992-3992	formerName "United Nations Social Defense Research Institute" and UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
No TPTP formula. May not be expressible in strict first order.	Government.kif 4108-4108	formerName "United Nations Special Commission for the Elimination of Iraqi Weapons of Mass Destruction" and UnitedNationsMonitoringAndVerificationCommission

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