shaker
IRI: https://spec.industrialontologies.org/ontology/construct/Shaker
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaEquipment/
SubClass Of: engineered system
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › system › engineered system › shaker
Definition
engineered system designed to apply shaking motion to material entities placed on or in it
Examples
- Orbital shaker used to agitate shake flasks during microbial cultivation; Platform shaker used to agitate tubes or plates during sample preparation; Rocking shaker used to move liquid in a single-use bag; Incubator shaker used to shake culture vessels while maintaining controlled temperature.
Adapted From
- https://en.wikipedia.org/wiki/Shaker_(laboratory)
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
Shaker(x) → EngineeredSystem(x) ∧ ∃c (hasFunction(x, c) ∧ MixingFunction(c))
Semi-Formal Natural Language Axioms
if x is a ‘shaker’ then x is an ‘engineered system’ that ‘has function’ some ‘mixing function’
Description Logic
SubClassOf: constr:EngineeredSystem
SubClassOf: constr:hasFunction some constr:MixingFunction