capability of

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

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

Type: Object Property

SubProperty Of: bfo:inheres in

Domain: capability

Range: bfo:independent continuant

Inverse Of: has capability

Definition

relation from a capability to an independent continuant (the bearer), in which the capability specifically depends on the bearer for its existence

Examples

  • turning at the maximal speed of 4000RPM is the capability of a lathe; temperature sensor has the capability to measuring temperature with a 0.01C precision is the capability of a temperature sensor; measuring pH in the range of 0-14 is the capability of a pH meter

Formal Axioms

First-Order Logic Axioms 

capabilityOf(x,y) → Capability(x) ∧ IndependentContinuant(y) ∧ inheresIn(x,y)

Semi-Formal Natural Language Axioms

x capability of y holds when x is a ‘capability’ and y is a ‘independent continuant’ and x is ‘inheres in’ y

Description Logic

constr:capabilityOf ⊑ bfo:inheres_in

domain: constr:Capability

range: bfo:independent_continuant

inverse: constr:hasCapability

SubPropertyOf: bfo:inheres_in

domain: constr:Capability

range: bfo:independent_continuant

inverse: constr:hasCapability