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:
“a big picture of K. Marx with an axe,
“Where I cut off one it will never grow again.”
O Karl would it were true
I’d put my saw to work for you
& the wicked social tree would fall right down.”
—Gary Snyder (b. 1930)