sublot

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

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

SubClass Of: bfo:material entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › sublot

Definition

material entity which has a sublot role

Semi-Formal Definition:

every instance of ‘sublot’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘sublot role’

Explanatory Notes

See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.

Examples

• Sublot of 140 antacid tablets filled from Lot #6754189 and packaged in a bottle; sublot of antacid tablets contained in a box of 12 such bottles from the same lot; sublot of tetrachloroethylene filled from Lot #PERC6227741 and contained in a 50L drum; sublot of tetrachloroethylene contained in a pallet of 15 such drums from the same lot

Formal Axioms

First-Order Logic Definition

Sublot(x) ↔ MaterialEntity(x) ∧ ∃r(SublotRole(r) ∧ hasRole(x, r))

Description Logic

constr:Sublot ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:SublotRole

constr:Sublot ⊑ bfo:material_entity

EquivalentTo: bfo:material_entity and constr:hasRole some constr:SublotRole

SubClassOf: bfo:material_entity