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


KB Term:  Term intersection
English Word: 

Sigma KEE - OxidizingSubstance
OxidizingSubstance(oxidizing substance)

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


(instance OxidizingSubstance HazardousMaterialTransportAttribute) Transportation.kif 4715-4715 Oxidizing substance is an instance of hazardous material transport attribute
(documentation OxidizingSubstance EnglishLanguage "OxidizingSubstance is material that can release oxygen, making them highly reactive to cause a fire.") Transportation.kif 4716-4717 Oxidizing substance is an instance of hazardous material transport attribute

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


(termFormat EnglishLanguage OxidizingSubstance "oxidizing substance") Transportation.kif 4718-4718

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


(=>
    (and
        (instance ?G Substance)
        (attribute ?G OxidizingSubstance))
    (exists (?R)
        (and
            (instance ?R Releasing)
            (patient ?R Oxygen)
            (capability Releasing origin ?G)
            (modalAttribute
                (exists (?C)
                    (and
                        (instance ?C Combustion)
                        (causes ?R ?C))) Possibility))))		 Transportation.kif 4720-4733 If X is an instance of substance and oxidizing substance is an attribute of X, then there exists Y such that Y is an instance of releasing, oxygen is a patient of Y, X is capable of doing releasing as a origin, the statement there exists Z such that Z is an instance of burning, and Y causes Z has the modal force of possibility
(=>
    (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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners