lot

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

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: bfo:material entity

Class Hierarchy

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

Definition

quantity of material entities produced together and sharing the same production history and specifications

Semi-Formal Definition:

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

Explanatory Notes

A Lot can consist of portion of bulk material

Examples

• a batch of water pump housings manufactured during the morning shift of diecasting plant on a certain machine

Adapted From

• APICS

Formal Axioms

First-Order Logic Definition

Lot(x) ↔ MaterialEntity(x) ∧ ∃r(LotRole(r) ∧ hasRole(x,r))

Description Logic

constr:Lot ≡ bfo:material_entity ⊓ ∃ constr:designatedBy .constr:LotIdentifier ⊓ ∃ constr:hasRole .constr:LotRole

constr:Lot ⊑ ⊤

EquivalentTo: bfo:material_entity and constr:designatedBy some constr:LotIdentifier and constr:hasRole some constr:LotRole

SubClassOf: owl:Thing