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) → Role(x) ∧ ∃a(roleOf(x,a) ∧ MaterialEntity(a) ∧ ∀y(hasRealization(x,y) → (ManufacturingProcess(y) ∧ hasInput(y,a))) ∧ ((∃c∃b(isSpecifiedOutputOf(a,c) ∧ ManufacturingProcess(c) ∧ isInputOf(a,b) ∧ ManufacturingProcess(b) ∧ precedes(c,b))) ∨ (∃d∃s∃p∃m(isSpecifiedOutputOf(a,d) ∧ ManufacturingProcess(d) ∧ prescribedBy(a,s) ∧ InputSpecification(s) ∧ continuantPartOfAtAllTimes(s,p) ∧ PlanSpecification(p) ∧ prescribes(p,m) ∧ ManufacturingProcess(m) ∧ precedes(d,m)))))
Semi-Formal Natural Language Axioms
if x is a ‘process intermediate material role’ then x is a ‘role of’ some ‘material entity’ such that every ‘realization of’ x is a ‘manufacturing process’ that ‘has input’ that same ‘material entity’, and either that ‘material entity’ ‘is specified output of’ some ‘manufacturing process’ that ‘precedes’ some ‘manufacturing process’ of which that same ‘material entity’ ‘is input’, or that ‘material entity’ ‘is specified output of’ some ‘manufacturing process’ that ‘precedes’ some ‘manufacturing process’ prescribed by a ‘plan specification’, where that same ‘material entity’ is ‘prescribed by’ some ‘input specification’ that is ‘continuant part of at all times’ that ‘plan specification’
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)