material artifact

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: bfo:object

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object › material artifact

Direct subclasses:

• assembly
• container
• machine
• piece of transport equipment
• production tool

Definition

object that is deliberately created to have a certain function

Semi-Formal Definition:

every instance of ‘material artifact’ is defined as exactly an instance of ‘object’ that is the ‘bearer of’ some ‘designed function’

Examples

• a machine, a screwdriver, a screw, a sheet of paper

Adapted From

• http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ArtifactOntology

Formal Axioms

First-Order Logic Definition

MaterialArtifact(x) ↔ Object(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f))

Description Logic

constr:MaterialArtifact ≡ bfo:object ⊓ ∃ bfo:bearer_of .constr:DesignedFunction

constr:MaterialArtifact ⊑ bfo:object

constr:MaterialArtifact ⊓ constr:EngineeredSystem ⊑ ⊥

constr:MaterialArtifact ⊓ constr:Organization ⊑ ⊥

EquivalentTo: bfo:object and bfo:bearer_of some constr:DesignedFunction

SubClassOf: bfo:object

constr:MaterialArtifact DisjointWith: (constr:EngineeredSystem, constr:Organization)