material product role

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

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

Definition

role held by a material entity that is intended to be sold, or has been bought, or has been supplied

Examples

• a manufactured good has a material product role when a manufacturer offers it for sale; a drug product has a material product role when it is bought by a customer in a pharmacy; sea shells have a material product role when they are collected, packaged and offered for sale;

Adapted From

• Oxford Languages, term by the name ‘product’; also Wikipedia, term by the name ‘goods’ (as used in economics) and in particular, tangible goods

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 economic transactions and ownership are lacking

Formal Axioms

First-Order Logic Axioms

MaterialProductRole(x) → Role(x) ∧ ∃y∃z((BuyingBusinessProcess(y) ∨ OfferingForSaleBusinessProcess(y) ∨ SupplyingBusinessProcess(y)) ∧ MaterialEntity(z) ∧ participatesInAtSomeTime(z,y) ∧ roleOf(x,z))

Semi-Formal Natural Language Axioms

if x is a ‘material product role’ x then x is a ‘role’ that is the ‘role of’ some ‘material entity’ when it ‘participates in at some time’ some ‘buying business process’ or ‘offering for sale business process’ or ‘supplying business process’

Description Logic

constr:MaterialProductRole ⊑ bfo:role

constr:MaterialProductRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in .(constr:BuyingBusinessProcess ⊔ constr:SellingBusinessProcess ⊔ constr:SupplyingBusinessProcess))

SubClassOf: bfo:role

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