antecedent

(=>     (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 4326-4339	If an attribute is an attribute of an object and the object is an instance of substance and the attribute is an instance of hazardous material transport attribute and hazardous explosives is not an attribute of the object and hazardous gases is not an attribute of the object and flammable liquid is not an attribute of the object and flammable solid is not an attribute of the object and oxidizing substance is not an attribute of the object and toxic and infectious substance is not an attribute of the object and radioactive substance is not an attribute of the object and corrosive substance is not an attribute of the object, then equal the attribute and hazardous miscellaneous
(=>     (attribute ?G FlammableSolid)     (and         (instance ?G Substance)         (attribute ?G Solid)         (attribute ?G Flammable)))	Transportation.kif 4164-4169	If flammable solid is an attribute of an object, then the object is an instance of substance and solid is an attribute of the object and flammable is an attribute of the object

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 is open source software produced by Articulate Software and its partners