Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CorrosiveSubstance
CorrosiveSubstance(corrosive substance)

appearance as argument number 1
-------------------------


(instance CorrosiveSubstance HazardousMaterialTransportAttribute) Transportation.kif 4783-4783 Corrosive substance is an instance of hazardous material transport attribute
(documentation CorrosiveSubstance EnglishLanguage "CorrosiveSubstance are substances that erode or destroy other materials when they come into contact.") Transportation.kif 4784-4785 Corrosive substance is an instance of hazardous material transport attribute

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage CorrosiveSubstance "corrosive substance") Transportation.kif 4786-4786

antecedent
-------------------------


(=>
    (and
        (attribute ?G CorrosiveSubstance)
        (instance ?G Substance))
    (capability Corrosion instrument ?G))		 Transportation.kif 4788-4792 If corrosive substance is an attribute of X and X is an instance of substance, then X is capable of doing corrosion as a instrument
(=>
    (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