| appearance as argument number 1 |
|
| (documentation HazardousGases EnglishLanguage "HazardousGases are materials stored as compressed, liquified or refrigerated gases that can be flammable, corrosive or toxic.") | Transportation.kif 4136-4137 | |
| (instance HazardousGases HazardousMaterialTransportAttribute) | Transportation.kif 4135-4135 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HazardousGases "hazardous gases") | Transportation.kif 4138-4138 |
| 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 4328-4341 | |
| (=> (attribute ?G HazardousGases) (and (instance ?G Substance) (attribute ?G Gas) (capability Combustion resource ?G) (capability Damaging resource ?G) (capability Corrosion resource ?G))) |
Transportation.kif 4140-4147 |
|
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