sublot role
IRI: https://spec.industrialontologies.org/ontology/construct/SublotRole
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
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; Role held by the sublot of 2400 M8 stainless steel bolts from Lot #BOLT-240315; role held by the sublot of 60 automotive brake discs packaged in a crate from Lot #BD-517733
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 .constr:Lot)
SubClassOf: constr:TraceableResourceUnitRole
SubClassOf: constr:roleOf some (bfo:material_entity and bfo:continuant_part_of some constr:Lot)