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_at_some_time .(constr:ProductProductionProcess ⊔ constr:SupplyingBusinessProcess))
SubClassOf: constr:MaterialResourceRole
SubClassOf: constr:roleOf some (bfo:material_entity and bfo:participates_in_at_some_time some (constr:ProductProductionProcess or constr:SupplyingBusinessProcess))