virus inoculation process

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

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

SubClass Of: inoculation process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › material addition process › inoculation process › virus inoculation process

Definition

inoculation process in which a virus seed or infected host-cell-containing material is deliberately introduced into a cell culture to initiate viral propagation

Examples

• addition of working virus seed to a confluent Vero cell culture to initiate viral propagation; inoculation of Sf9 insect cells with baculovirus seed stock in a production bioreactor; infection of HEK293 cells with adenoviral vector for recombinant protein expression; co-culture of producer and target cells for lentivirus amplification

Adapted From

• https://www.sciencedirect.com/science/article/pii/S0166093422002099 and https://www.bioprocessintl.com/assays/nucleic-acid-impurity-reduction-in-viral-vaccine-manufacturing and https://www.sigmaaldrich.com/deepweb/assets/sigmaaldrich/marketing/global/documents/165/693/vaccine-handbook-process-br5237en-mk.pdf?srsltid=AfmBOopAab20MIAUvkPCifVu5keJOr4OPkvV65xNUwgIB9Ji9xExNOPn

Primitive Class

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

Primitive Rationale

There are insufficient constructs to create a set of necessary and sufficient conditions

Formal Axioms

First-Order Logic Axioms

VirusInoculationProcess(x) → InoculationProcess(x) ∧ ∃c ∃tr (CellCulture(c) ∧ MaterialAdditionTargetRole(tr) ∧ hasParticipantAtSomeTime(x, c) ∧ hasRole(c, tr)) ∧ ∃m ∃ir ∃mr (((VirusSeed(m)) ∨ (CellPopulation(m) ∧ ∃h (InfectedHostCell(h) ∧ hasMemberPartAtSomeTime(m, h)))) ∧ InoculumRole(ir) ∧ TransferredMaterialRole(mr) ∧ hasInput(x, m) ∧ hasRole(m, ir) ∧ hasRole(m, mr))

Semi-Formal Natural Language Axioms

if x is a ‘virus inoculation process’ then x is an ‘inoculation process’ that ‘has participant at some time’ some ‘cell culture’ that ‘has role’ some ‘material addition target role’, and ‘has input’ some ‘virus seed’ or some ‘cell population’ that ‘has member part at some time’ some ‘infected host cell’, where that participant ‘has role’ some ‘inoculum role’ and some ‘transferred material role’

Description Logic

constr:VirusInoculationProcess ⊑ constr:InoculationProcess

constr:VirusInoculationProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:CellCulture ⊓ ∃ constr:hasRole .constr:MaterialAdditionTargetRole)

constr:VirusInoculationProcess ⊑ ∃ constr:hasInput .((constr:VirusSeed ⊔ (constr:CellPopulation ⊓ ∃ bfo:has_member_part_at_some_time .constr:InfectedHostCell)) ⊓ ∃ constr:hasRole .constr:InoculumRole ⊓ ∃ constr:hasRole .constr:TransferredMaterialRole)

SubClassOf: constr:InoculationProcess

SubClassOf: bfo:has_participant_at_some_time some (constr:CellCulture and constr:hasRole some constr:MaterialAdditionTargetRole)

SubClassOf: constr:hasInput some ((constr:VirusSeed or (constr:CellPopulation and bfo:has_member_part_at_some_time some constr:InfectedHostCell)) and constr:hasRole some constr:InoculumRole and constr:hasRole some constr:TransferredMaterialRole)