has process profile

IRI: https://spec.industrialontologies.org/ontology/construct/hasProcessProfile

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

SubProperty Of: bfo:has proper occurrent part

Domain: bfo:process

Range: bfo:process profile

Inverse Of: process profile of

Definition

relation that holds between a process and a process profile that is part of the process such that the part is temporally coextensive with another proper part that is mutually dependent on it and has no parts in common with it

Semi-Formal Definition:

if p ‘has process profile’ x, then x is ‘process profile of’ p

Examples

• The pH profile is a process profile of the cell culture growth process, the spindle speed profile is a process profile of the milling process, the flow rate profile is a process profile of the pipeline transport process.

Formal Axioms

First-Order Logic Definition

hasProcessProfile(p, x) → processProfileOf(x, p)

Description Logic

constr:hasProcessProfile ⊑ bfo:has_proper_occurrent_part

domain: bfo:process

range: bfo:process_profile

inverse: constr:processProfileOf

SubPropertyOf: bfo:has_proper_occurrent_part

domain: bfo:process

range: bfo:process_profile

inverse: constr:processProfileOf