sublot role

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

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

SubClass Of: traceable resource unit role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › traceable resource unit role › sublot role

Definition

traceable resource unit role held by a material entity when it is part of a lot and is uniquely identifiable within that lot

Examples

• Role held by the sublot of 140 antacid tablets filled from Lot #6754189 and packaged in a bottle; role held by the sublot of tablets in a box of 12 such bottles; role held by the sublot of tetrachloroethylene in a 50L drum from Lot #PERC6227741; role held by the sublot of tetrachloroethylene in a pallet of 15 such drums.

Primitive Class

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

Primitive Rationale

The required constructs for creation of a formal definition are not available in this release. In particular the pattern for unique identification within a lot needs to be developed.

Formal Axioms

First-Order Logic Axioms

SublotRole(x) → TraceableResourceUnitRole(x) ∧ ∃y(MaterialEntity(y) ∧ roleOf(x, y) ∧ ∃l(Lot(l) ∧ continuantPartOfAtSomeTime(y, l)))

Semi-Formal Natural Language Axioms

If x is a ‘sublot role’, then x is a ‘traceable resource unit role’ and is the ‘role of’ some ‘material entity’ that is the ‘continuant part of at some time’ some ‘lot

Description Logic

constr:SublotRole ⊑ constr:TraceableResourceUnitRole

constr:SublotRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:continuant_part_of_at_some_time .constr:Lot)

SubClassOf: constr:TraceableResourceUnitRole

SubClassOf: constr:roleOf some (bfo:material_entity and bfo:continuant_part_of_at_some_time some constr:Lot)