raw material role

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › raw material role

Definition

role held by a material entity when it is acquired by an organizational entity with some plan to transform or modify it into intermediate-level components or substances or into a product

Explanatory Notes

1. IOF considers raw materials only material entities that are acquired from a different organizational unit. However, that organizational unit can be within the same manufacturing enterprise (e.g., exchange of goods between divisions).
2. Raw materials are incorporated during the product production process into the final product. In other words, ‘raw materials’ exclude consumables from non-manufacturing processes that are a part of product production (e.g., maintenance or quality control) or consumables that are not incorporated into the product (e.g., single-use equipment).

Examples

• rolls of aluminum a manufacturer purchases to be consumed to produce aluminum cans

Counter-Examples

• production intermediary going from one production cell to another; reagent that is used in a quality testing process of the product or any intermediary

Adapted From

• ISO 17889-1:2021(en) and https://www.merriam-webster.com/dictionary/raw%20material

Primitive Class

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

Primitive Rationale

There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs for transforming or modifying are lacking.

Formal Axioms

First-Order Logic Axioms

RawMaterialRole(x) → Role(x) ∧ ∃y∃m∃z∃b(BuyingBusinessProcess(y) ∧ Organization(m) ∧ MaterialEntity(z) ∧ BuyerRole(b) ∧ roleOf(b,m) ∧ roleOf(x,z) ∧ hasParticipantAtSomeTime(y,m) ∧ hasParticipantAtSomeTime(y,z)) ∧ ∀y1(hasRealization(x,y1) → (ProductProductionProcess(y1) ∨ ManufacturingProcess(y1)))

Semi-Formal Natural Language Axioms

if x is a ‘raw material role’ then x is a ‘role’ that is the ‘role of’ some ‘material entity’ when it ‘participates in at some time’ a ‘buying business process’ in which some ‘organization’ that ‘has role’ ‘buyer role’ participates in at some time’ and whenever x ‘has realization’ y that y must be a ‘product production process’ or a ‘manufacturing process’

Description Logic

constr:RawMaterialRole ⊑ bfo:role

constr:RawMaterialRole ⊑ ∀ bfo:has_realization .(constr:ProductProductionProcess ⊔ (constr:ManufacturingProcess ⊓ ∃ bfo:occurrent_part_of .constr:ProductProductionProcess))

constr:RawMaterialRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in_at_some_time .(constr:BuyingBusinessProcess ⊓ ∃ bfo:has_participant_at_some_time .(constr:Organization ⊓ ∃ constr:hasRole .constr:BuyerRole)))

SubClassOf: bfo:role

SubClassOf: bfo:has_realization only (constr:ProductProductionProcess or (constr:ManufacturingProcess and bfo:occurrent_part_of some constr:ProductProductionProcess))

SubClassOf: constr:roleOf some (bfo:material_entity and bfo:participates_in_at_some_time some (constr:BuyingBusinessProcess and bfo:has_participant_at_some_time some (constr:Organization and constr:hasRole some constr:BuyerRole)))