Skip to main content
Figure 1 | BMC Bioinformatics

Figure 1

From: Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies

Figure 1

The main categories of the General Formal Ontology (GFO) as outlined in [14, p. 70]. The basic distinction of GFO relevant for this work relates to items and is between individuals and categories. Individuals are items that cannot be instantiated. Categories are items that can have instances and may be predicated of other entities. The instances of categories of first order are individuals, while higher-order categories have categories as instances. For all items, the instance-of relationship is a relation of major importance, linking items (including categories) to the categories of which they are an instance.

Back to article page