material transfer process
IRI: https://spec.industrialontologies.org/ontology/construct/MaterialTransferProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/ReferenceOntologyCandidates/
SubClass Of: material location change process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › material location change process › material transfer process
Definition
material location change process occurring within a single facility in which a material entity is removed from one material entity or site and added to another as part of that material’s processing, production, assessment, or use as a consumable
Explanatory Notes
1) A material transfer process represents the full movement of the same material entity from one material entity or site to another and has a material removal process and a material addition process as parts. 2) The material transfer process, its material removal and material addition parts, and the broader planned process of which it is a part occur within the same facility. A facility may, for example, correspond to an ISA PhysicalSite. 3) Use material transfer process when the movement is part of the material’s processing, production, assessment, or use as a consumable, including when transfer failures such as loss, blockage, delay, misdirection, contamination, or unintended change in material state are relevant. 4) Material movement performed solely for warehousing, inventory relocation, shipment, delivery, or other logistics purposes is not a material transfer process, because it does not occur as part of the material’s processing, production, assessment, or use as a consumable. Use the applicable material handling or transport process instead. 5) In the first-order logic axiom, the common facility is represented as a material entity because Facility is not available in this module.
Examples
- cryovial transfer process from cryostorage to a thawing device, in which a cryovial containing frozen cell material is withdrawn from a cryostorage system and introduced into a thawing device; Milli-Q water transfer process from a Milli-Q water production system into a vessel used for growth media reconstitution; cell culture material transfer process from a weldable bottle to a bench-scale production bioreactor; feed medium transfer process from a feed bag into a production bioreactor during fed-batch cultivation; inoculum transfer process from a seed bioreactor or inoculum bag into a production bioreactor; reconstituted orange juice transfer process from a mixing tank into a packaging line feed tank; PVC compounding mixture transfer process from a blender into a twin-screw extruder hopper
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
This term is expected to remain primitive as the precision of requiring the same material across the processes is difficult to express in OWL
Formal Axioms
First-Order Logic Axioms
MaterialTransferProcess(x) → MaterialLocationChangeProcess(x) ∧ ∃r∃a∃m∃p∃f (MaterialRemovalProcess(r) ∧ MaterialAdditionProcess(a) ∧ MaterialEntity(m) ∧ PlannedProcess(p) ∧ MaterialEntity(f) ∧ hasOccurrentPart(x,r) ∧ hasOccurrentPart(x,a) ∧ hasSpecifiedOutput(r,m) ∧ hasInput(a,m) ∧ properOccurrentPartOf(x,p) ∧ hasParticipantAtSomeTime(p,m) ∧ occursIn(x,f) ∧ occursIn(r,f) ∧ occursIn(a,f) ∧ occursIn(p,f))
Semi-Formal Natural Language Axioms
if x is a ‘material transfer process’ then x is a ‘material location change process’ that ‘has occurrent part’ some ‘material removal process’ r and some ‘material addition process’ a, where r ‘has specified output’ the same ‘material entity’ m that a ‘has input’, and x is a ‘proper occurrent part of’ some ‘planned process’ p that ‘has participant at some time’ m, and x, r, a, and p each ‘occurs in’ the same ‘material entity’ f
Description Logic
constr:MaterialTransferProcess ⊑ constr:MaterialLocationChangeProcess
constr:MaterialTransferProcess ⊑ ∃ bfo:has_occurrent_part .(constr:MaterialAdditionProcess ⊓ ∃ constr:hasInput .(bfo:material_entity ⊓ ∃ constr:hasRole .constr:TransferredMaterialRole))
constr:MaterialTransferProcess ⊑ ∃ bfo:has_occurrent_part .(constr:MaterialRemovalProcess ⊓ ∃ constr:hasSpecifiedOutput .(bfo:material_entity ⊓ ∃ constr:hasRole .constr:TransferredMaterialRole))
constr:MaterialTransferProcess ⊑ ∃ bfo:proper_occurrent_part_of .(constr:PlannedProcess ⊓ ∃ bfo:has_participant_at_some_time .(bfo:material_entity ⊓ ∃ constr:hasRole .constr:TransferredMaterialRole))
SubClassOf: constr:MaterialLocationChangeProcess
SubClassOf: bfo:has_occurrent_part some (constr:MaterialAdditionProcess and constr:hasInput some (bfo:material_entity and constr:hasRole some constr:TransferredMaterialRole))
SubClassOf: bfo:has_occurrent_part some (constr:MaterialRemovalProcess and constr:hasSpecifiedOutput some (bfo:material_entity and constr:hasRole some constr:TransferredMaterialRole))
SubClassOf: bfo:proper_occurrent_part_of some (constr:PlannedProcess and bfo:has_participant_at_some_time some (bfo:material_entity and constr:hasRole some constr:TransferredMaterialRole))