shi2 jian1 qi3 dian3/gen4 gu3 (NegativeInfinity)

The TimePoint that is before all other TimePoints.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

shi2 dian3

shi2 jian1 qi3 dian3/gen4 gu3

Coordinate term(s)

shi2 jian1 zhong1 dian3/yong3 yuan3

Axioms (3)

If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 qi3 dian3/gen4 gu3, then shi2 jian1 qi3 dian3/gen4 gu3 (mei2) fa1 sheng1?{s} zai4 point zhi1 qian2.

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

If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 qi3 dian3/gen4 gu3, then there exists otherpoint so_that_not otherpoint zai4 shi2 jian1 qi3 dian3/gen4 gu3 he2 point zhi1 jian1 .

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

If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 qian2" deng3 yu1 "shi2 jian1 qi3 dian3/gen4 gu3 he2 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 jian1 ju4".

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