General Formal Ontology - Taxonomic Tree of GFO

Taxonomic Tree of GFO

GFO (General Formal ontology) draws a fundamental distinction between concrete entities, categories and sets. Sets are described by an axiomatic fragment of set theory of Zermelo-Fraenkel, although fragments of anti-foundation axiom set theories such as ZF-AFA are considered.

Concrete entities are entities which are in time and space, while categories have universal character.

Read more about this topic:  General Formal Ontology

Famous quotes containing the word tree:

    There is hardly an American male of my generation who has not at one time or another tried to master the victory cry of the great ape as it issued from the androgynous chest of Johnny Weissmuller, to the accompaniment of thousands of arms and legs snapping during attempts to swing from tree to tree in the backyards of the Republic.
    Gore Vidal (b. 1925)