| appearance as argument number 1 |
|
| (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 4190-4194 | |
| (instance ToxicandInfectiousSubstance HazardousMaterialTransportAttribute) | Transportation.kif 4189-4189 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ToxicandInfectiousSubstance "toxic and infectious substance") | Transportation.kif 4195-4195 |
| 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 4324-4337 | |
| (=> (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 4197-4221 |
|
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