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

shi2 duan4 (TimeInterval)

An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.

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  
is subclass of
  shi2 duan4  

Subclass(es)

nian2  yue4  ri4  zhou1  xiao3 shi2  fen1  miao3 

Coordinate term(s)

shi2 dian3 

Constrains relations

shi2 jian1 kai1 shi3 han2 shu4  shi2 jian1 jie2 shu4 han2 shi4  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  zhou1 qi1 xing4 shi2 ju4 han2 shu4  shi2 jian1 dan1 wei4 han2 shu4  shi2 jian1 li4 cheng2 han2 shu4  cun2 zai4 shi2 jian1 han2 shu4  chi2 xu4 shi2 jian1  qi1 jian1  jiao4 zao3  wan2 cheng2  shi2 duan4 xiang1 jie1  shi2 duan4 zhong4 die2  kai1 shi3 

Related WordNet synsets

time interval, interval
a definite length of time marked off by two instants
time interval is kind of (all)...   time interval is kind of...   kinds of time interval...   kinds of time interval (all)...  
See more related synsets on a separate page.

Axioms (4)

shi2 jian1 wan2 quan2 fen1 ge1 cheng2 shi2 duan4,shi2 dian3. 
(partition TimePosition TimeInterval TimePoint)
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))))
interval2 (mei2) yu3 1 ?zhong4 die2s if and only if there exists shi2 duan4 interval3 so_that_not interval3 shi4 interval1 de5 bu4 fen5 and interval3 shi4 interval2 de5 bu4 fen5. 
(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))