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:
“Some say that happiness is not good for mortals, & they ought to be answered that sorrow is not fit for immortals & is utterly useless to any one; a blight never does good to a tree, & if a blight kill not a tree but it still bear fruit, let none say that the fruit was in consequence of the blight.”
—William Blake (1757–1827)