process profile of
IRI: https://spec.industrialontologies.org/ontology/construct/processProfileOf
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
SubProperty Of: bfo:proper occurrent part of
Domain: bfo:process profile
Range: bfo:process
Inverse Of: has process profile
Definition
relation that holds between a process profile and a process that it is part of such that the source process is a proper part of the target process and is temporally coextensive with another proper part of the target process that is mutually dependent on it and shares no parts with it.
Examples
- pH profile is a process profile of culture growth, agitation speed profile is a process profile of a mixing process, tool vibration profile is a process profile of a engine running
Adapted From
- axiom label in BFO2 Reference (094-005) in http://purl.obolibrary.org/obo/BFO_0000144 from BFO 2.0
Formal Axioms
First-Order Logic Axioms
∀x, y (processProfileOf(x,y) → (properOccurrentPartOf(x,y) ∧ ∃z, t (properOccurrentPartOf(z,y) ∧ TemporalRegion(t) ∧ occupiesSpatioTemporalRegion(x,t) ∧ occupiesSpatioTemporalRegion(y,t) ∧ occupiesSpatioTemporalRegion(z,t) ∧ ¬∃w(occurrentPartOf(w,x) ∧ occurrentPartOf(w,z)))))
Semi-Formal Natural Language Axioms
if x is ‘process profile of’ y, then x is a ‘proper occurrent part of’ y that shares a ‘spatiotemporal region’ with some other ‘proper occurrent part’ z of y such that x and z have no common ‘occurrent part’
Description Logic
constr:processProfileOf ⊑ bfo:proper_occurrent_part_of
domain: bfo:process_profile
range: bfo:process
inverse: constr:hasProcessProfile
SubPropertyOf: bfo:proper_occurrent_part_of
domain: bfo:process_profile
range: bfo:process
inverse: constr:hasProcessProfile