material component role

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

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 component role

Definition

role held by a material entity when it is a proper part of another material entity or is planned to be a proper part of another material entity

Examples

• an engine has the component role when it is a part of a car; a tool when it is planned to be mounted on a CNC machine

Adapted From

• APICS

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 ‘planned to be a part’ need to be formalized. Also, the realization of the material component role needs to be analyzed further.

Formal Axioms

First-Order Logic Axioms

MaterialComponentRole(x) → Role(x)

Semi-Formal Natural Language Axioms

If x is a ‘material component role’ then x is a ‘role’

Description Logic

constr:MaterialComponentRole ⊑ bfo:role

constr:MaterialComponentRole ⊑ ∃ constr:roleOf .bfo:material_entity

SubClassOf: bfo:role

SubClassOf: constr:roleOf some bfo:material_entity