Space and Time
GFO uses a theory of space and time which is inspired by the philosophy of Brentano. For time, time-intervals, called chronoids, are taken as primitive. Existentially dependent on these time-intervals are time-boundaries. Time-boundaries of different time-intervals may coincide. This notion of coincidence is equivalent to a formalization of time-based on the meets relation (due to Allen and Hayes).
Connected three-dimensional parts of space are called "topoids". As chronoids, topoids may coincide at a two-dimensional boundary. This boundary may coincide with other (two-dimensional) boundaries at a one-dimensional boundary, and so on.
Read more about this topic: General Formal Ontology
Famous quotes containing the words space and/or time:
“Why not a space flower? Why do we always expect metal ships?”
—W.D. Richter (b. 1945)
“For me, its enough! Theyve been here long enoughmaybe too long. Its a funny thing, though. All these years Fred was too busy to have much time for the kids, now hes the one whos depressed because theyre leaving. Hes really having trouble letting go. He wants to gather them around and keep them right here in this house.”
—Anonymous Parent. As quoted in Women of a Certain Age, by Lillian B. Rubin, ch. 2 (1979)