planned cell infection process
IRI: https://spec.industrialontologies.org/ontology/construct/PlannedCellInfectionProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
SubClass Of: planned process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › planned cell infection process
Definition
planned process in which a cell culture is exposed to a virus inoculum under defined conditions in order to generate a population of infected host cells
Semi-Formal Definition:
every instance of ‘planned cell infection process’ is defined as exactly an instance of ‘planned process’ that ‘has occurrent part’ some ‘virus inoculation process’ and ‘has specified output’ some ‘cell population’ that ‘has member part at all times’ some ‘infected host cell’
Explanatory Notes
1) This process specifically refers to the intentional exposure of a host cell culture (e.g., HEK293, MDCK) to virus, either as free virions or infected cells, under well-controlled and documented conditions such as multiplicity of infection (MOI), adsorption time, and temperature, in order to generate infected host cells. 2) Typical conditions specified include multiplicity of infection (MOI), adsorption/contact time, incubation temperature, and incubation duration. 3) The specified output of this process is a cell population containing infected host cells. This cell population may be part of a cell culture that is subsequently propagated, harvested for virus recovery, or used as inoculum for a subsequent culture stage.
Examples
- Infecting HEK293 cells with an adenovirus vector at MOI 5, incubating for 2 hours at 37 °C for adsorption, replacing medium, and culturing for 48 hours to produce infected HEK293 cells
Counter-Examples
- Transfecting cells with plasmid DNA
Adapted From
- https://www.thermofisher.com/rs/en/home/references/protocols/proteins-expression-isolation-and-analysis/adenovirus-protocol/virapower-adenoviral-expression-system.html
Formal Axioms
First-Order Logic Definition
PlannedCellInfectionProcess(x) ↔ PlannedProcess(x) ∧ ∃v (VirusInoculationProcess(v) ∧ hasOccurrentPart(x, v)) ∧ ∃p (CellPopulation(p) ∧ hasSpecifiedOutput(x, p) ∧ ∃c (InfectedHostCell(c) ∧ hasMemberPartAtAllTimes(p, c)))
Description Logic
constr:PlannedCellInfectionProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_occurrent_part .constr:VirusInoculationProcess ⊓ ∃ constr:hasSpecifiedOutput .(constr:CellPopulation ⊓ ∃ bfo:has_member_part_at_all_times .constr:InfectedHostCell)
EquivalentTo: constr:PlannedProcess and bfo:has_occurrent_part some constr:VirusInoculationProcess and constr:hasSpecifiedOutput some (constr:CellPopulation and bfo:has_member_part_at_all_times some constr:InfectedHostCell)
SubClassOf: constr:PlannedProcess