designed function

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

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

SubClass Of: bfo:function

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › capability › bfo:function › designed function

Definition

function that is intentionally designed

Semi-Formal Definition:

every instance of ‘designed function’ is exactly an instance of ‘function’ that is ‘prescribed by’ some ‘design specification’

Examples

• the function of a oil pump to pump oil, the function of a knife to cut things

Adapted From

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

Formal Axioms

First-Order Logic Definition

ArtifactFunction(x) ↔ Function(x) ∧ ∃d(DesignSpecification(m)∧ prescribedBy(x,d))

Description Logic

constr:DesignedFunction ≡ bfo:function ⊓ ∃ constr:prescribedBy .constr:DesignSpecification

constr:DesignedFunction ⊑ bfo:function

EquivalentTo: bfo:function and constr:prescribedBy some constr:DesignSpecification

SubClassOf: bfo:function