HazardousMiscellaneous |
appearance as argument number 1 |
![]() |
(documentation HazardousMiscellaneous EnglishLanguage "HazardousMiscellaneous are materials that don’t fit into the above classes but still pose harm. Note that this is an ontologically poor category included only to support the standard of labelling used in practice for hazardous material transport.") | Transportation.kif 4323-4325 | |
(instance HazardousMiscellaneous HazardousMaterialTransportAttribute) | Transportation.kif 4322-4322 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage HazardousMiscellaneous "hazardous miscellaneous") | Transportation.kif 4326-4326 |
consequent |
![]() |
(=> (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 |
![]() |
![]() |