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

shi2 jian1 jie4 yu1 (temporallyBetween)

(temporallyBetween point1 point2 point3) means that the TimePoint point2 is between the TimePoints point1 and point3, i.e. point1 is before point2 and point2 is before point3.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  shi2 jian1 guan1 xi4  
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  san1 yuan2 shu4 ci2  
is instance of
is instance of
  shi2 jian1 jie4 yu1  

Superrelation(s)

shi2 jian1 jie4 yu1 huo4 tong5 shi2
is subrelation of
  shi2 jian1 jie4 yu1  

Coordinate term(s)

shi2 jian1 kai1 shi3 han2 shu4  ri4 han2 shu4  shi2 jian1 jie2 shu4 han2 shi4  shi2 jian1 wei4 lai2 han2 shi4  xiao3 shi2 han2 shu4  zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4  zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4  fen1 zhong1 han2 shu4  yue4 fen4 han2 shu4  guo4 qu4 shi2 jian1 han2 shi4  zhou1 qi1 xing4 shi2 ju4 han2 shu4  xiang4 dui4 shi2 jian1 han2 shu4  miao3 zhong1 han2 shu4  shi2 jian1 dan1 wei4 han2 shu4  shi2 jian1 li4 cheng2 han2 shu4  cun2 zai4 shi2 jian1 han2 shu4  nian2 fen4 han2 shu4  biao1 gao1  xian1 yu1  xian1 yu1 huo4 tong5 shi2  jie4 yu1  neng2 li4  tiao2 jian4 huo4 ran2 lv4  fu4 yu3 yi4 wu4  fu4 yu3 quan2 li4  xiang1 lian2  gong4 sheng1  shen1 du4  ju4 li2  ling3 yu4  ling3 yu4 ci4 zhong3 lei4  jiao4 zao3  wan2 cheng2  shi1 shi4 zhe3 you3 yi4 tu2  lian2 jie2  shi2 duan4 xiang1 jie1  you3...zhi2 wei4  xiang4 dui4 fang1 wei4  shi2 duan4 zhong4 die2  pian1 ai4  SUMOwai4 bu4 xiang1 guan1 gai4 nian4  shi1 shi4 zhe3 cheng2 xian4  yi3...yu3 yan2 cheng2 xian4  shi2 jian1 jie4 yu1 huo4 tong5 shi2  shi2 jian1 

Type restrictions

temporallyBetween(shi2 dian3, shi2 dian3, shi2 dian3)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

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 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)))
point2 zai4 point1 he2 point3 zhi1 jian1 if and only if point1 (mei2) fa1 sheng1?{s} zai4 point2 zhi1 qian2 and point2 (mei2) fa1 sheng1?{s} zai4 point3 zhi1 qian2. 
(<=>
      (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
      (and
            (before ?POINT1 ?POINT2)
            (before ?POINT2 ?POINT3)))