process intermediate material role

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

Defined In: https://spec.industrialontologies.org/ontology/biopharma/ReferenceOntologyCandidates/

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › process intermediate material role

Definition

role held by a material entity when it is an output of a manufacturing process and is input of a subsequent manufacturing process or planned to be an input of a subsequent manufacturing process

Examples

• role of a yoghurt when held after fermentation for use in finishing and packaging; role of a cocoa paste when stored after conching for use in molding and cooling; role of a dried PVC resin when kept after drying for use in compounding; role of a harvested cell culture fluid when held after bioreactor harvest for use in clarification; role of a Protein A eluate when collected after chromatography for use in viral inactivation; role of a bulk drug substance when stored after purification for use in formulation and filling

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs to define necessary and sufficient conditions.

Formal Axioms

First-Order Logic Axioms

ProcessIntermediateMaterialRole(x) → (∀y (HasRealization(x, y) → ManufacturingProcess(y) ∧ ∃e (HasInput(y, e) ∧ MaterialEntity(e)))) ∧ (∃a (RoleOf(x, a) ∧ MaterialEntity(a) ∧ ∃b (IsInputOf(a, b) ∧ ManufacturingProcess(b)) ∧ ∃c (IsSpecifiedOutputOf(a, c) ∧ ManufacturingProcess(c))) ∨ ∃a (RoleOf(x, a) ∧ MaterialEntity(a) ∧ ∃d (IsSpecifiedOutputOf(a, d) ∧ ManufacturingProcess(d)) ∧ ∃s (PrescribedBy(a, s) ∧ InputSpecification(s) ∧ ∃p (ContinuantPartOfAtAllTimes(s, p) ∧ PlanSpecification(p) ∧ ∃m (Prescribes(p, m) ∧ ManufacturingProcess(m))))))

Semi-Formal Natural Language Axioms

if x is a ‘process intermediate material role’ then x ‘has realization’ only in some ‘manufacturing process’ that ‘has input’ some ‘material entity’, and x is a ‘role of’ either a ‘material entity’ that ‘is input of’ some ‘manufacturing process’ and ‘is specified output of’ some ‘manufacturing process’, or a ‘material entity’ that ‘is specified output of’ some ‘manufacturing process’ and is ‘prescribed by’ some ‘input specification’ that is a ‘continuant part of at all times’ some ‘plan specification’ that ‘prescribes’ some ‘manufacturing process’

Description Logic

constr:ProcessIntermediateMaterialRole ⊑ bfo:role

constr:ProcessIntermediateMaterialRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ constr:isInputOf .constr:ManufacturingProcess ⊓ ∃ constr:isSpecifiedOutputOf .constr:ManufacturingProcess) ⊔ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ constr:isSpecifiedOutputOf .constr:ManufacturingProcess ⊓ ∃ constr:prescribedBy .(constr:InputSpecification ⊓ ∃ bfo:continuant_part_of_at_all_times .(constr:PlanSpecification ⊓ ∃ constr:prescribes .constr:ManufacturingProcess)))

constr:ProcessIntermediateMaterialRole ⊑ ∀ bfo:has_realization .(constr:ManufacturingProcess ⊓ ∃ constr:hasInput .bfo:material_entity)

SubClassOf: bfo:role

SubClassOf: constr:roleOf some (bfo:material_entity and constr:isInputOf some constr:ManufacturingProcess and constr:isSpecifiedOutputOf some constr:ManufacturingProcess) or constr:roleOf some (bfo:material_entity and constr:isSpecifiedOutputOf some constr:ManufacturingProcess and constr:prescribedBy some (constr:InputSpecification and bfo:continuant_part_of_at_all_times some (constr:PlanSpecification and constr:prescribes some constr:ManufacturingProcess)))

SubClassOf: bfo:has_realization only (constr:ManufacturingProcess and constr:hasInput some bfo:material_entity)