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)

    Her heavenly form
    Angelic, but more soft and feminine,
    Her graceful innocence, her every air
    Of gesture or least action, overawed
    His malice, and with rapine sweet bereaved
    His fierceness of the fierce intent it brought.
    That space of Evil One abstracted stood
    From his own evil, and for the time remained
    Stupidly good, of enmity disarmed,
    John Milton (1608–1674)