shi2 jian1 (TimePosition)
Any TimePoint or TimeInterval
along the universal timeline from NegativeInfinity to
PositiveInfinity.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Subclass(es)
shi2 duan4
shi2 dian3
Coordinate term(s)
chi2 xu4 shi2 jian1
Constrains relations
shi2 jian1 wei4 lai2 han2 shi4
zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4
zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4
guo4 qu4 shi2 jian1 han2 shi4
xiang4 dui4 shi2 jian1 han2 shu4
zai4...qi1 jian1 wei2 zhen1
shi2 jian1 bu4 fen5
shi2 jian1
Related WordNet synsets
See more related synsets on a separate page.
Axioms (2)
shi2 jian1 wan2 quan2 fen1 ge1 cheng2 shi2 duan4,shi2 dian3.
(partition TimePosition TimeInterval TimePoint)
If time shi4 shi2 jian1 de5 shi2 li4 and agent1 (mei2) yong1 you3not(s) obj timea(zhi1 zhong1) time and agent2 (mei2) yong1 you3not(s) obj timea(zhi1 zhong1) time, then agent1 deng3 yu1 agent2.
(=>
(and
(instance ?TIME TimePosition)
(holdsDuring
?TIME
(possesses ?AGENT1 ?OBJ))
(holdsDuring
?TIME
(possesses ?AGENT2 ?OBJ)))
(equal ?AGENT1 ?AGENT2))