shi2 jian1 zhong1 dian3/yong3 yuan3 (PositiveInfinity)

The TimePoint that is after all other TimePoints.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

shi2 dian3

shi2 jian1 zhong1 dian3/yong3 yuan3

Coordinate term(s)

shi2 jian1 qi3 dian3/gen4 gu3

Axioms (3)

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

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

If point shi4 shi2 dian3 de5 shi2 li4 and point deng3 yu1 shi2 jian1 zhong1 dian3/yong3 yuan3, then there exists otherpoint so_that_not otherpoint zai4 point he2 shi2 jian1 zhong1 dian3/yong3 yuan3 zhi1 jian1 .

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

If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 hou4" deng3 yu1 """process cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" he2 shi2 jian1 zhong1 dian3/yong3 yuan3 de5 jian1 ju4".

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