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

KB Term:  Term intersection
English Word: 

Sigma KEE - HazardousMaterialTransportAttribute
HazardousMaterialTransportAttribute(hazardous material transport attribute)

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


(subclass HazardousMaterialTransportAttribute RelationalAttribute) Transportation.kif 4646-4646 Hazardous material transport attribute is a subclass of relational attribute
(documentation HazardousMaterialTransportAttribute EnglishLanguage "HazardousMaterialTransportAttribute is a set of relational attributes for dangerous goods. They are divided into nine classes (in addition to several subcategories) on the basis of the specific characteristics producing the risk. They are explosives, gases, flammable liquids, flammable solids, oxidizing agents and organic peroxides, toxic and infectious substances, radioactive substances, corrosive substances, miscellaneous.[Wikipedia]") Transportation.kif 4647-4651 Hazardous material transport attribute is a subclass of relational attribute
(relatedInternalConcept HazardousMaterialTransportAttribute hazardous) Transportation.kif 4653-4653 Hazardous material transport attribute is internally related to hazardous

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


(termFormat EnglishLanguage HazardousMaterialTransportAttribute "hazardous material transport attribute") Transportation.kif 4652-4652
(instance HazardousExplosives HazardousMaterialTransportAttribute) Transportation.kif 4668-4668 Hazardous explosives is an instance of hazardous material transport attribute
(instance HazardousGases HazardousMaterialTransportAttribute) Transportation.kif 4677-4677 Hazardous gases is an instance of hazardous material transport attribute
(instance FlammableLiquid HazardousMaterialTransportAttribute) Transportation.kif 4691-4691 Flammable liquid is an instance of hazardous material transport attribute
(instance FlammableSolid HazardousMaterialTransportAttribute) Transportation.kif 4703-4703 Flammable solid is an instance of hazardous material transport attribute
(instance OxidizingSubstance HazardousMaterialTransportAttribute) Transportation.kif 4715-4715 Oxidizing substance is an instance of hazardous material transport attribute
(instance ToxicandInfectiousSubstance HazardousMaterialTransportAttribute) Transportation.kif 4735-4735 Toxic and infectious substance is an instance of hazardous material transport attribute
(instance RadioactiveSubstance HazardousMaterialTransportAttribute) Transportation.kif 4769-4769 Radioactive substance is an instance of hazardous material transport attribute
(instance CorrosiveSubstance HazardousMaterialTransportAttribute) Transportation.kif 4783-4783 Corrosive substance is an instance of hazardous material transport attribute
(instance HazardousMiscellaneous HazardousMaterialTransportAttribute) Transportation.kif 4864-4864 Hazardous miscellaneous is an instance of hazardous material transport attribute

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


(=>
    (and
        (instance ?T Transportation)
        (transported ?T ?C)
        (attribute ?C ?H)
        (instance ?H HazardousMaterialTransportAttribute))
    (holdsDuring ?T
        (modalAttribute
            (exists (?D)
                (and
                    (instance ?D Damaging)
                    (resource ?D ?C))) Possibility)))		 Transportation.kif 4655-4666 If X is an instance of transportation, Y is transported during X, Z is an attribute of Y, and Z is an instance of hazardous material transport attribute, then the statement there exists W such that W is an instance of damaging and Y is a resource for W has the modal force of possibility holds during X
(=>
    (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