is function of

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 relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence

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.

this catalysis function is a function of this enzyme