時間終點/永遠 (PositiveInfinity)

The TimePoint that is after all other TimePoints.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

時點

時間終點/永遠

Coordinate term(s)

時間起點/亙古

Axioms (3)

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

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

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

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

If process 是物質的的實例, then ""process 存在的時間" 之後" 等於 """process 存在的時間" 的結束" 和時間終點/永遠的間距".

(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))