complex material state
IRI: https://spec.industrialontologies.org/ontology/construct/ComplexMaterialState
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: material state
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › material state › complex material state
Definition
material state whose condition is an aggregated condition composed from the conditions of two or more material states that hold in it
Semi-Formal Definition:
every instance of ‘complex material state’ is defined as exactly an instance of ‘material state’ in which some other instance of ‘material state’ ‘material state holds in’
Explanatory Notes
A complex material state is not merely a collection of co-occurring material states. It is a material state whose condition is aggregated from the conditions of other material states, for example by conjunction, threshold rule, weighted rule, or constraint satisfaction. The contributing material states are related to the complex material state by ‘material state holds in’. This means that they cover the duration of the complex material state as required by that relation, but they do not need to have the same temporal extent as the complex material state and should not be treated as ordinary occurrent parts. Additioanlly, it is also not required for every state holding in a complex state is a state of same material entity.
Examples
- culture in a oxygen-limited state in which a high cell density state, low glucose-concentration state, and elevated lactate-concentration state of the culture, maximum-agitation state of the impeller, and high oxygen-flow state of the gas supply holds in; warehouse in a acceptable storage state in which the storage site’s acceptable temperature state, acceptabe humidity state, and package’s undamaged state holds in; a CNC machine is in ready state in which the spindle’s stopped state, safety door’s closed state, workpiece’s clamped state, lubricant’s sufficient-pressure state, and tool’s acceptable-condition state.
Formal Axioms
First-Order Logic Definition
ComplexMaterialState(s) ↔ MaterialState(s) ∧∃s′(MaterialState(s′) ∧ materialStateHoldsIn(s′,s))
Description Logic
constr:ComplexMaterialState ≡ constr:MaterialState ⊓ ∃ constr:materialStateholdsIn⁻ .constr:MaterialState
EquivalentTo: constr:MaterialState and inverse constr:materialStateholdsIn some constr:MaterialState
SubClassOf: constr:MaterialState