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

shi2 jian1 (TimePosition)

Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  shu4 liang4  
is subclass of
  wu4 li3 liang4  
is subclass of
  chang2 liang4  
is subclass of
  shi2 jian1 dan1 wei4  
is subclass of
  shi2 jian1  

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))