時間起點/亙古 (NegativeInfinity)

The TimePoint that is before all other TimePoints.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

時點

時間起點/亙古

Coordinate term(s)

時間終點/永遠

Axioms (3)

If point 是時點的實例 and point 等於時間起點/亙古, then 時間起點/亙古 (沒) 發生?{s} 在 point 之前.

(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (before NegativeInfinity ?POINT))

If point 是時點的實例 and point 等於時間起點/亙古, then there exists otherpoint so that otherpoint 在時間起點/亙古和 point 之間 .

(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))

If process 是物質的的實例, then ""process 存在的時間" 之前" 等於 "時間起點/亙古和 ""process 存在的時間" 的 �}始" 的間距".

(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))