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


KB Term:  Term intersection
English Word: 

Sigma KEE - FlammableLiquid
FlammableLiquid(flammable liquid)

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


(documentation FlammableLiquid EnglishLanguage "FlammableLiquid is a liquid with low flashpoints, or the minimum temperature that can cause vapor and easily ignite.") Transportation.kif 4148-4149
(instance FlammableLiquid HazardousMaterialTransportAttribute) Transportation.kif 4147-4147 Flammable liquid is an instance of hazardous material transport attribute

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


(termFormat EnglishLanguage FlammableLiquid "flammable liquid") Transportation.kif 4150-4150

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
(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))		 Transportation.kif 4152-4157


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