antecedent

(=>     (attribute ?X HazardousExplosives)     (instance ?X ExplosiveSubstance))	Transportation.kif 4673-4675	If hazardous explosives is an attribute of X, then X is an instance of explosive substance
(=>     (and         (attribute ?G ?H)         (instance ?G Substance)         (instance ?H HazardousMaterialTransportAttribute)         (not             (attribute ?G HazardousExplosives))         (not             (attribute ?G HazardousGases))         (not             (attribute ?G FlammableLiquid))         (not             (attribute ?G FlammableSolid))         (not             (attribute ?G OxidizingSubstance))         (not             (attribute ?G ToxicandInfectiousSubstance))         (not             (attribute ?G RadioactiveSubstance))         (not             (attribute ?G CorrosiveSubstance)))     (equal ?H HazardousMiscellaneous))	Transportation.kif 4870-4883	If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of substance (3) X is an instance of hazardous material transport attribute (4) hazardous explosives is not an attribute of Y (5) hazardous gases is not an attribute of Y (6) flammable liquid is not an attribute of Y (7) flammable solid is not an attribute of Y (8) oxidizing substance is not an attribute of Y (9) toxic and infectious substance is not an attribute of Y (10) radioactive substance is not an attribute of Y (11) corrosive substance is not an attribute of Y, then equal X and hazardous miscellaneous

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners