material state holds in
IRI: https://spec.industrialontologies.org/ontology/construct/materialStateholdsIn
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
Domain: material state
Range: material state
Definition
relation between two material states that holds when the first material state is one of the states whose condition contributes to the aggregated condition of the second material state, and the first material state at least occurs for the duration of the second material state
Explanatory Notes
This does not require the two states to have the same temporal extent. The first material state may begin before the second material state or end after it. The requirement is only that the first material state does not cease to occur during the duration of the second material state.
Examples
- a high-oxygen-flow state of a gas supply holds in an oxygen-limited state of a culture; an acceptable-temperature state of a storage site holds in an acceptable-storage state of a warehouse; an undamaged state of a package holds in an acceptable-storage state of a warehouse
Formal Axioms
First-Order Logic Axioms
materialStateHoldsIn(s,s′) → occupiesTemporalRegion(s,rs)∧occupiesTemporalRegion(s′,r′) ∧ temporalPartOf(r',rs))
Semi-Formal Natural Language Axioms
if s ‘material state holds in’ s’ then s ‘occupies temporal region’ some rs, s’ ‘occupies temporal region’ some r’, and r’ is a ‘temporal part of’ rs
Description Logic
constr:materialStateholdsIn ⊑ _:topObjectProperty
domain: constr:MaterialState
range: constr:MaterialState