material product

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

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 › material product

Definition

material entity which has the material product role

Semi-Formal Definition:

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

Explanatory Notes

  1. The definition does exclude services sold as product which deviates from some standard definitions and economic theory. Services as products as well as software products will be considered in the next version of the IOF Core

  2. See expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.

Examples

  1. Natural resources: the seashells lying on the beach that some person collects, packages and sells; the iron ore in a mountain the rights to which some mining company has just purchased which they intend to mine and sell to iron-making processors;

  2. Any manufactured good when it is offered for sale, supplied or being bought

Counter-Examples

certified pre-owned warranty plan; software as a service (SaaS); training course; consultancy services; Office 365

Formal Axioms

First-Order Logic Definition 

MaterialProduct(x) ↔ MaterialEntity(x) ∧ ∃r(MaterialProductRole(r) ∧ hasRole(x,r))

Description Logic

constr:MaterialProduct ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:MaterialProductRole

constr:MaterialProduct ⊑ bfo:material_entity

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

SubClassOf: bfo:material_entity