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