negative infinity (NegativeInfinity)

The TimePoint that is before all other TimePoints.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

samaya biMdu

negative infinity

Coordinate term(s)

positive infinity

Axioms (3)

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

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

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

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

Agar process is an instance of bhOtika vaswu, to "before "the time of existence of process"" is equal to "interval between negative infinity and "the beginning of "the time of existence of process""".

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