General Formal Ontology (GFO)
5 Space and Time
Beginning with space and time, this section opens a discussion of GFO
that extends over several sections.
There are several basic ontologies concerning space and
time. In the top-level ontology
of GFO presented herein, chronoids and topoids are
individuals. Chronoids can be understood as temporal intervals with
boundaries, and topoids as connected spatial regions having boundaries
as well as a certain mereotopological structure.