positive infinity (PositiveInfinity)

The TimePoint that is after all other TimePoints.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

samaya biMdu

positive infinity

Coordinate term(s)

negative infinity

Axioms (3)

Agar point is an instance of samaya biMdu aur point is not equal to positive infinity, to point happen?{s} before positive infinity.

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

Agar point is an instance of samaya biMdu aur point is not equal to positive infinity, to yah kuch otherpoint nahin, ki otherpoint is between point and positive infinity.

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

Agar process is an instance of bhOtika vaswu, to "after "the time of existence of process"" is equal to "interval between "the end of "the time of existence of process"" and positive infinity".

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