GFO Part I Basic Principles
           
  ontomed Theories Concepts Applications  
 
Ontological
Investigations
Conceptual
Modelling
Onto-Builder
 
 
Axiomatic
Foundations
Domain
Ontologies
Onco-Workstation
 
 
Metalogical
Analyses
Ontology
Languages
SOP-Creator
 
           
 
 

Onto-Med >> Theories >> GFO Part I Basic Principles

 
   


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-property, $\Ghprop(x, y)$, and has-quality, $\Ghqual(x, y)$, which relate a property bearer $x$ to one of its properties/qualities $y$. However, there are specializations for certain types of arguments. The best known of such specializations is the relation of inherence, $\Ginh(x, y)$, 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 $\Gvalue(x, y)$, $x$ refers to the property/quality and $y$ to the value.



Robert Hoehndorf 2006-10-18
 
       
     
     
     

   
     
     
       
 

deutsch   imise uni-leipzig ifi dep-of-formal-concepts