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:
“Books, gentlemen, are a species of men, and introduced to them you circulate in the “very best society” that this world can furnish, without the intolerable infliction of “dressing” to go into it. In your shabbiest coat and cosiest slippers you may socially chat even with the fastidious Earl of Chesterfield, and lounging under a tree enjoy the divinest intimacy with my late lord of Verulam.”
—Herman Melville (1819–1891)