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