|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3970-3970 | "UNCHS" is a former name for united nations center for human settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4109-4109 | "UNSCOM" is a former name for united nations monitoring and verification commission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3993-3993 | "UNSDRI" is a former name for united nations interregional crime and justice research institute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3992-3992 | "United Nations Social Defense Research Institute" is a former name for united nations interregional crime and justice research institute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4108-4108 | "United Nations Special Commission for the Elimination of Iraqi Weapons of Mass Destruction" is a former name for united nations monitoring and verification commission |
|
|
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