industrial inventory

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

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 › industrial inventory

Definition

material product, material component, raw material, or material artifact that is ready to be sold or used and is stored in a storage facility or on factory floor

Semi-Formal Definition:

every instance of ‘industrial inventory’ is defined as exactly an instance of ‘raw material’ or ‘material product’ or ‘material artifact’ or ‘material component’ that ‘has role’ some ‘industrial inventory role’

Explanatory Notes

Those stocks or items used to support production (raw materials and work-in-process items), supporting activities (maintenance, repair, and operating supplies), and customer service (finished goods and spare parts) [APICS].

Examples

• sealed and labeled boxes of ballbearings packaged for shipment

Formal Axioms

First-Order Logic Definition

IndustrialInventory(x) ↔ (MaterialArtifact(x) ∨ MaterialComponent(x) v MaterialProduct(x) v RawMaterial(x)) ∧ ∃r(IndustrialInventoryRole(r) ∧ hasRole(x,r))

Description Logic

constr:IndustrialInventory ≡ (constr:MaterialArtifact ⊔ constr:MaterialComponent ⊔ constr:MaterialProduct ⊔ constr:RawMaterial) ⊓ ∃ constr:hasRole .constr:IndustrialInventoryRole

constr:IndustrialInventory ⊑ bfo:material_entity

EquivalentTo: (constr:MaterialArtifact or constr:MaterialComponent or constr:MaterialProduct or constr:RawMaterial) and constr:hasRole some constr:IndustrialInventoryRole

SubClassOf: bfo:material_entity