has pre material state
IRI: https://spec.industrialontologies.org/ontology/construct/hasPreMaterialState
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 material state meets, overlaps, or starts the process or event
Explanatory Notes
The pre-material state is a material state at the beginning of a process or event. It may end when the process or event begins, begin together with it, or begin before it and continue into its initial part.
Examples
- a thawing process has pre material state the frozen state of the material; a mixing process has pre material state the heterogeneous state of the material; a filling process has pre material state the empty state of the receiving container;
Formal Axioms
First-Order Logic Axioms
∀e,s(hasPreMaterialState(e,s) → ∃t,t'(occupiesTemporalRegion(s,t) ∧ occupiesTemporalRegion(e,t') ∧ (meets(t,t') ∨ starts(t,t') ∨ overlaps(t,t')))
Semi-Formal Natural Language Axioms
if e ‘has pre material state’ s, then s ‘occupies temporal region’ some t and e ‘occupies temporal region’ some t’ such that t ‘meets’ t’, t ‘starts’ t’, or t ‘overlaps’ t’
Description Logic
constr:hasPreMaterialState ⊑ _:topObjectProperty
domain: bfo:process ⊔ constr:Event
range: constr:MaterialState