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:
“On a tree by a river a little tom-tit
Sang “Willow, titwillow, titwillow!”
And I said to him, “Dicky-bird, why do you sit
Singing, ‘Willow, titwillow, titwillow’?
Is it a weakness of intellect, birdie?” I cried,
“Or a rather tough worm in your little inside?””
—Sir William Schwenck Gilbert (1836–1911)