maintainable material item

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

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 › maintainable material item

Definition

material artifact or engineered system which has the maintainable material item role

Semi-Formal Definition:

every instance of ‘maintainable material item’ is defined as exactly an instance of ‘material artifact’ or an ‘engineered system’ which ‘has role’ some ‘maintainable material item role’

Explanatory Notes

See the 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

• CNC machine on which routine maintenance is performed

Formal Axioms

First-Order Logic Definition

MaintainableMaterialItem(x) ↔ (MaterialArtifact(x) ∨ EngineeredSystem(x)) ∧ ∃r (MaintainableMaterialItemRole(r) ∧ hasRole(x,r))

Description Logic

constr:MaintainableMaterialItem ≡ (constr:EngineeredSystem ⊔ constr:MaterialArtifact) ⊓ ∃ constr:hasRole .constr:MaintainableMaterialItemRole

constr:MaintainableMaterialItem ⊑ bfo:material_entity

EquivalentTo: (constr:EngineeredSystem or constr:MaterialArtifact) and constr:hasRole some constr:MaintainableMaterialItemRole

SubClassOf: bfo:material_entity