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:
“And out of the ground made the Lord God to grow every tree that is pleasant to the sight, and good for food: the tree of life also in the midst of the garden, and the tree of knowledge of good and evil. And a river went out of Eden to water the garden.”
—Bible: Hebrew Genesis 2:9-10.