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
Direct subclasses:
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