GFO Part I Basic Principles



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
			Overview General Formal Ontology (GFO)	Next: 14.5 Parthood Relation Up: 14 Ontologically Basic Relations Previous: 14.3 Instantiation and Categories 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 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, $\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)$ , refers to the property/quality and to the value. Robert Hoehndorf 2006-10-18

14.4 Property Relations