General Formal Ontology (GFO)
14.4 Property Relations
Further, several relations connect properties (or individual property
instances), their values and their bearers as introduced in sect.
9. If - for reasons of brevity - individual
properties are called ``qualities'', there are the general relations
has-quality, , which relate a property
bearer to one of its
properties/qualities . However, there are specializations for certain
types of arguments. The best known of such specializations is the
relation of inherence, , to be a sub-relation of
has-quality. The phrase
``inherence in a subject'' can be understood as the translation of the
Latin expression ``in subjecto esse'', as opposed to ``de subjecto
dici'', which may be translated as ``predicated of
a subject''. Sometimes inherence is called ontic predication.
The second kind of relations connects a property with some
value of a measurement system.
In the denotation , refers to the
property/quality and to the value.