harmed state
IRI: https://spec.industrialontologies.org/ontology/construct/HarmedState
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaRiskManagement/
SubClass Of: material state
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › material state › harmed state
Definition
material state of one or more persons, property, or an environment in which a person is injured or has damaged health, or property or the environment is damaged
Explanatory Notes
1) “Damage to health” includes damage that can occur from loss of product quality (e.g., unsafe or ineffective product) or loss of product availability (e.g., delayed or absent access to a needed product) 2) In this ontology, injury and damage are treated as the particular condition a harm state is focused on, modeled as one or more specifically dependent continuants that depend on a material entity for as long as they exist; in practice this condition is typically a detrimental quality (a quality that inheres in the bearer and corresponds to deterioration relative to an appropriate baseline, e.g., tissue lesion, contamination, corrosion, fracture), and it may also include changes in realizable entities, such as a reduced or lost function/capability (what the bearer is able to do) and altered dispositions (tendencies such as a disposition to leak, fail, corrode further, or propagate contamination).
Examples
- a patient has a bloodstream infection after receiving a contaminated injectable biologic; a patient is in an anaphylactic state after administration of a product containing an unintended immunogenic contaminant; a patient has recurrent thrombosis after not receiving a needed anticoagulant because of product shortage; the coil and cryostat are in a severely damaged state after a magnet quench; an operator is in a hypoxic injury state after remaining in an oxygen-deficient room following helium discharge
Adapted From
- https://www.iso.org/obp/ui/en/#iso:std:iso-iec:guide:51:ed-3:v1:en
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to create a set of necessary and sufficient conditions
Formal Axioms
First-Order Logic Axioms
HarmedState(x) → MaterialState(x) ∧ (∃h (HazardousSituation(h) ∧ precededBy(x, h)) ∨ ∃h (HazardousSituation(h) ∧ hasPostMaterialState(h, x)))
Semi-Formal Natural Language Axioms
if x is a ‘harmed state’ then x is a ‘material state’ that is either ‘preceded by’ some ‘hazardous situation’ or is the ‘post material state’ of some ‘hazardous situation’
Description Logic
constr:HarmedState ⊑ constr:MaterialState
constr:HarmedState ⊑ ∃ bfo:preceded_by .constr:HazardousSituation ⊔ ∃ constr:hasPostMaterialState⁻ .constr:HazardousSituation
SubClassOf: constr:MaterialState
SubClassOf: bfo:preceded_by some constr:HazardousSituation or inverse constr:hasPostMaterialState some constr:HazardousSituation