General Formal Ontology - Space and Time

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:

    To play is nothing but the imitative substitution of a pleasurable, superfluous and voluntary action for a serious, necessary, imperative and difficult one. At the cradle of play as well as of artistic activity there stood leisure, tedium entailed by increased spiritual mobility, a horror vacui, the need of letting forms no longer imprisoned move freely, of filling empty time with sequences of notes, empty space with sequences of form.
    Max J. Friedländer (1867–1958)

    Quarrel not at all. No man resolved to make the most of himself, can spare time for personal contention. Still less can he afford to take all the consequences, including the vitiating of his temper, and the loss of self-control. Yield larger things to which you can show no more than equal right; and yield lesser ones, though clearly your own. Better give your path to a dog, than be bitten by him in contesting for the right. Even killing the dog would not cure the bite.
    Abraham Lincoln (1809–1865)