warehousing process
IRI: https://spec.industrialontologies.org/ontology/construct/WarehousingProcess
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: business process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › warehousing process
Definition
business process of storing products (material products) in a storage facility for future use
Semi-Formal Definition:
every instance of ‘warehousing process’ is defined as exactly an instance of ‘business process’ that ‘occurs in’ some ‘storage facility’ and ‘has occurrent part’ some ‘storage process’ and is ‘prescribed by’ some ‘warehousing plan specification’
Examples
- the process of counting and storing a shipment of external hard drives at an Amazon Fulfillment Center
Formal Axioms
First-Order Logic Definition
WarehousingProcess(x) ↔ BusinessProcess(x) ∧ ∃p∃w∃f((StorageProcess(p) ∧ WarehousingPlanSpecification(w) ∧ StorageFacility(f)) ∧ occursIn (x,f) ∧ hasOccurrentPart(x,p) ∧ prescribedBy (x,w))
Description Logic
constr:WarehousingProcess ≡ constr:BusinessProcess ⊓ ∃ bfo:occurs_in .constr:StorageFacility ⊓ ∃ bfo:has_occurrent_part .constr:StorageProcess ⊓ ∃ constr:prescribedBy .constr:WarehousingPlanSpecification
EquivalentTo: constr:BusinessProcess and bfo:occurs_in some constr:StorageFacility and bfo:has_occurrent_part some constr:StorageProcess and constr:prescribedBy some constr:WarehousingPlanSpecification
SubClassOf: owl:Thing