industrial inventory role

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

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

SubClass Of: material resource role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › material resource role › industrial inventory role

Definition

role held by some material entity when it is stored by a bussiness organization and it is intended to be supplied to a customer or to be used or consumed in some product production process

Examples

  • (for a tile manufacturer) role held by the boxes of tile that are ready to sell, the semi-finished stock of tiles that haven’t been packed yet, the tiles set aside for quality checking, and raw materials like silica sand, clay, and pottery stone; role held by the rolls of aluminum a manufacturer stores to be consumed laters on its bottling lines
  • role held by the rolls of aluminum a manufacturer stores to be consumed laters on its bottling lines

Primitive Class

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

Primitive Rationale

The required constructs for providing necessary and sufficient conditions are not available in this release.

Formal Axioms

First-Order Logic Axioms 

IndustrialInventoryRole(x) → MaterialResourceRole(x) ∧ ∃m∃p(MaterialEntity(m) ∧ (ProductProductionProcess(p) ∨ SupplyingBusinessProcess(p)) ∧ participatesInAtSomeTime(m,p) ∧ ∃i(InventoryManagementProcess(i) ∧ participatesInAtSomeTime(m,i) ∧ roleOf(x,m)))

Semi-Formal Natural Language Axioms

if x is an ‘industrial inventory role’ then x is an ‘material resource role’ that is ‘role of’ some ‘material entity’ that ‘participates in at some time’ some ‘product production process’ or ‘supplying business process’ and ‘participates in at some time’ some ‘inventory management process’

Description Logic

constr:IndustrialInventoryRole ⊑ constr:MaterialResourceRole

constr:IndustrialInventoryRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in .(constr:ProductProductionProcess ⊔ constr:SupplyingBusinessProcess))

SubClassOf: constr:MaterialResourceRole

SubClassOf: constr:roleOf some (bfo:material_entity and bfo:participates_in some (constr:ProductProductionProcess or constr:SupplyingBusinessProcess))