raw material

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

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

SubClass Of: bfo:material entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › raw material

Definition

material entity which has the raw material role

Semi-Formal Definition:

every instance of ‘raw material’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘raw material role’

Explanatory Notes

This class is very general and it is intended to be used for grouping inputs to the product production process external to the bussiness organization. But, things like material artifacts should not be asserted as subclasses of this class

Examples

• rolls of aluminum a manufacturer purchases to be consumed on its bottling lines to produce aluminum cans to package its product, crude oil that is converted into gasoline in a refining process; wheels an automobile manufacturer purchases to assemble into a car

Counter-Examples

• oil used to power the refining process

Formal Axioms

First-Order Logic Definition

RawMaterial(x) ↔ MaterialEntity(x) ∧ ∃r(RawMaterialRole(x) ∧ hasRole(x,r))

Description Logic

constr:RawMaterial ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:RawMaterialRole

constr:RawMaterial ⊑ bfo:material_entity

EquivalentTo: bfo:material_entity and constr:hasRole some constr:RawMaterialRole

SubClassOf: bfo:material_entity