has capability

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

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

Type: Object Property

SubProperty Of: bfo:bearer of

Domain: bfo:independent continuant

Range: capability

Inverse Of: capability of

Definition

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

Examples

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

Formal Axioms

First-Order Logic Axioms

hasCapability(x,y) → IndependentContinuant(x) ∧ Capability(y) ∧ bearerOf(x,y)

Semi-Formal Natural Language Axioms

x has capability y holds when x is a ‘independent continuant’ and y is a ‘capability’ and x is ‘bearer of’ y

Description Logic

constr:hasCapability ⊑ bfo:bearer_of

domain: bfo:independent_continuant

range: constr:Capability

inverse: constr:capabilityOf

SubPropertyOf: bfo:bearer_of

domain: bfo:independent_continuant

range: constr:Capability

inverse: constr:capabilityOf