has function

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

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

Type: Object Property

SubProperty Of: bfo:bearer of

Domain: bfo:independent continuant

Range: bfo:function

Inverse Of: function of

Definition

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

Explanatory Notes

A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists.

Examples

• this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)

Adapted From

• http://purl.obolibrary.org/obo/RO_0000085

Formal Axioms

First-Order Logic Axioms

hasFunction(x,y) → IndependentContinuant(x) ∧ Function(y) ∧ bearerOf(x,y)

Semi-Formal Natural Language Axioms

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

Description Logic

constr:hasFunction ⊑ bfo:bearer_of

domain: bfo:independent_continuant

range: bfo:function

inverse: constr:functionOf

SubPropertyOf: bfo:bearer_of

domain: bfo:independent_continuant

range: bfo:function

inverse: constr:functionOf