characteristic of
inheres in
function of
This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists.
a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence
function_of
is function of
this catalysis function is a function of this enzyme
has function
function