membrane filtration process
IRI: https://spec.industrialontologies.org/ontology/construct/MembraneFiltrationProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/ManufacturingExecution/
SubClass Of: filtration process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › filtration process › membrane filtration process
Direct subclasses:
Definition
filtration process in which a fluid is passed through a membrane
Examples
- A membrane filtration process is used to sterilize media solutions by removing microorganisms; A membrane filtration process clarifies protein solutions before column chromatography;A membrane filtration process removes aggregates and particulates from monoclonal antibody formulations;
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
Insufficient constructs are present to create a set of necessary and sufficient conditions
Formal Axioms
First-Order Logic Axioms
MembraneFiltrationProcess(x) → FiltrationProcess(x) ∧ ∃y (MembraneFilter(y) ∧ hasParticipantAtSomeTime(x, y))
Semi-Formal Natural Language Axioms
if x is a ‘membrane filtration process’ then x is a ‘filtration process’ that ‘has participant at some time’ some ‘membrane filter’
Description Logic
constr:MembraneFiltrationProcess ⊑ constr:FiltrationProcess
constr:MembraneFiltrationProcess ⊑ ∃ bfo:has_participant_at_some_time .constr:MembraneFilter
SubClassOf: constr:FiltrationProcess
SubClassOf: bfo:has_participant_at_some_time some constr:MembraneFilter