Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# shi2 dian3 (TimePoint)

An extensionless point on the universal timeline. The TimePoints at which Processes occur can be known with various degrees of precision and approximation, but conceptually TimePoints are point-like and not interval-like. That is, it doesn't make sense to talk about what happens during a TimePoint, or how long the TimePoint lasts.

## Ontology

SUMO / BASE-ONTOLOGY

## Superclass(es)

 shi2 ti3

chou1 xiang4 de5

shu4 liang4

wu4 li3 liang4

chang2 liang4

shi2 jian1 dan1 wei4

shi2 jian1

shi2 dian3

## Instance(s)

shi2 jian1 zhong1 dian3/yong3 yuan3  shi2 jian1 qi3 dian3/gen4 gu3

shi2 duan4

## Constrains relations

shi2 jian1 kai1 shi3 han2 shu4  shi2 jian1 jie2 shu4 han2 shi4  shi2 jian1 li4 cheng2 han2 shu4  wei4 zhi4 han2 shu4  xian1 yu1  xian1 yu1 huo4 tong5 shi2  shi2 jian1 jie4 yu1  shi2 jian1 jie4 yu1 huo4 tong5 shi2

## Related WordNet synsets

point, point in time
a very short period of time; "at that point I had to leave"

See more related synsets on a separate page.

## Axioms (10)

shi2 jian1 wan2 quan2 fen1 ge1 cheng2 shi2 duan4,shi2 dian3.
`(partition TimePosition TimeInterval TimePoint)`

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 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 point shi4 shi2 dian3 de5 shi2 li4, then there exists shi2 duan4 interval so_that_not point shi4 interval de5 bu4 fen5.
```(=>
(instance ?POINT TimePoint)
(exists
(?INTERVAL)
(and
(instance ?INTERVAL TimeInterval)
(temporalPart ?POINT ?INTERVAL))))```

If interval shi4 shi2 duan4 de5 shi2 li4, then there exists shi2 dian3 point so_that_not point shi4 interval de5 bu4 fen5.
```(=>
(instance ?INTERVAL TimeInterval)
(exists
(?POINT)
(and
(instance ?POINT TimePoint)
(temporalPart ?POINT ?INTERVAL))))```

• if obj shi4 wu4 ti1 de5 shi2 li4,
• then there exist shi2 dian3 time1,shi2 dian3 time2 so_that_not time1 (mei2) fa1 sheng1?{s} zai4 time2 zhi1 qian2 and for all time holds: if time1 (mei2) fa1 sheng1?{s} zai4 time huo4 zhi1 qian2 and time (mei2) fa1 sheng1?{s} zai4 time2 huo4 zhi1 qian2, then obj (bu2) cun2 zai4s time qi1 jian1
• .
```(=>
(instance ?OBJ Object)
(exists
(?TIME1 ?TIME2)
(and
(instance ?TIME1 TimePoint)
(instance ?TIME2 TimePoint)
(before ?TIME1 ?TIME2)
(forall
(?TIME)
(=>
(and
(beforeOrEqual ?TIME1 ?TIME)
(beforeOrEqual ?TIME ?TIME2))
(time ?OBJ ?TIME))))))```

phys (bu2) cun2 zai4s time qi1 jian1 and time shi4 shi2 dian3 de5 shi2 li4 if and only if time zai4 ""phys cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" he2 ""phys cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 jian1 .
```(<=>
(and
(time ?PHYS ?TIME)
(instance ?TIME TimePoint))
(temporallyBetweenOrEqual
(BeginFn
(WhenFn ?PHYS))
?TIME
(EndFn
(WhenFn ?PHYS))))```

• if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
• then for all time holds: if time shi4 shi2 dian3 de5 shi2 li4 and time shi4 interval de5 bu4 fen5, then there exists class instance so_that_not time shi4 instance de5 bu4 fen5
• .
```(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
?CLASS)
(forall
(?TIME)
(=>
(and
(instance ?TIME TimePoint)
(temporalPart ?TIME ?INTERVAL))
(exists
(?INSTANCE)
(and
(instance ?INSTANCE ?CLASS)
(temporalPart ?TIME ?INSTANCE))))))```