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

KB Term:  Term intersection
English Word: 

Sigma KEE - ToxicandInfectiousSubstance
ToxicandInfectiousSubstance(toxic and infectious substance)

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


(instance ToxicandInfectiousSubstance HazardousMaterialTransportAttribute) Transportation.kif 4735-4735 Toxic and infectious substance is an instance of hazardous material transport attribute
(documentation ToxicandInfectiousSubstance EnglishLanguage "ToxicandInfectiousSubstance is a substance that can cause death or serious injury or to harm human health if swallowed, inhaled or by skin contact. Infectious substances are those which are known or can be reasonably expected to contain pathogens. Dangerous goods regulations define pathogens as microorganisms, such as bacteria, viruses, rickettsiae, parasites and fungi, or other agents which can cause disease in humans or animals.") Transportation.kif 4736-4740 Toxic and infectious substance is an instance of hazardous material transport attribute

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


(termFormat EnglishLanguage ToxicandInfectiousSubstance "toxic and infectious substance") Transportation.kif 4741-4741

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


(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))		 Transportation.kif 4743-4767 If toxic and infectious substance is an attribute of X and X is an instance of substance or X is an instance of microorganism, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of human or Y is an instance of animal (3) X is near to Y (4) Z is an instance of inhaling or Z is an instance of ingesting or Z is an instance of touching (5) Y is an agent of Z (6) X is a patient of Z (7) Z causes W (8) Y is a patient of W (9) W is an instance of V (10) X is capable of doing V as a resource (11) V is a subclass of injuring or V is a subclass of death
(=>
    (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