has post material state
IRI: https://spec.industrialontologies.org/ontology/construct/hasPostMaterialState
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
Range: material state
Definition
relation between a process or event and a material state that holds when the process or event meets or overlaps the material state, or when the material state finishes the process or event
Semi-Formal Definition:
if e ‘has post material state’ s, then e ‘occupies temporal region’ some t and s ‘occupies temporal region’ some t’ such that t ‘meets’ t’, t ‘overlaps’ t’, or t is ‘finished by’ t’
Explanatory Notes
A post material state is a material state at the end of a process or event. It may begin when the process or event ends, begin during the final part of the process or event and continue after it, or begin during the process or event and end together with it.
Examples
- a thawing process has post material state the thawed state of the material; a mixing process has post material state the homogeneous state of the material; a filling process has post material state the filled state of the receiving container; a cleaning process has post material state the cleaned state of the equipment; a valve-opening process has post material state the open state of the valve
Formal Axioms
First-Order Logic Axioms
∀e,s(hasPostMaterialState(e,s) → ∃t,t'(occupiesTemporalRegion(e,t) ∧ occupiesTemporalRegion(s,t') ∧ (meets(t,t') ∨ overlaps(t,t') ∨ finishedBy(t,t'))))
Description Logic
constr:hasPostMaterialState ⊑ _:topObjectProperty
domain: bfo:process ⊔ constr:Event
range: constr:MaterialState