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

xian1 yu1 huo4 tong5 shi2 (beforeOrEqual)

(beforeOrEqual point1 point2) means that point1 is identical with point2 or occurs before it on the universal timeline.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  er4 yuan2 shu4 ci2  
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  shi2 jian1 guan1 xi4  
is instance of
pian1 xu4 guan1 xi4
is instance of
is instance of
  xian1 yu1 huo4 tong5 shi2  

Subrelation(s)

xian1 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  hu2 xian4 zhong4 liang4  zuo4 zhe3  xian1 yu1  zhao4 yin1  ci4 lei4 zhao4 yin1  gong1 min2  feng1 bi4 yu1  xiang1 lian2 de5  bao1 han2 xun4 xi1  gong4 sheng1  fu4 zhi4  ri4 qi1  jiang4 di1 ke3 neng2 xing4  fa1 zhan3 qi1 xing2 shi4  wu2 jiao1 ji2  fen1 pei4  wen2 zi4 shuo1 ming2  chi2 xu4 shi2 jian1  jiao4 zao3  bian1 zhe3  yuan2 su4  gu4 yong4  xiang1 deng3  deng3 tong2 guan1 xi4 yu1  li4 yong4  yi3...yu3 yan2 biao3 da2  mian4 dui4  jia1 zu2 guan1 xi4  wan2 cheng2  ci4 shu4  tu2 bu4 fen5  da4 yu1  da4 yu1 huo4 deng3 yu1  you3 yi4 tu2  you3 ji4 qiao3  zai4...qi1 jian1 wei2 zhen1  xu1 shi3...wei2 zhen1  you3 quan2 shi3...wei2 zhen1  dong4  tong2 yi1 yuan2 su4  chuan4 lie4 zhong1  zai4 zhu4 yi4 fan4 wei2 zhong1  zeng1 jia1 ke3 neng2 xing4  du2 li4 huo4 ran2 lv4  ju1 zhu4  yi4 zhi4  chu1 shi3 hua4 xu4 lie4  shi2 li4  dao4 xu4  fei1 fan3 she4 yu1...  da4 yu1  xiao3 yu1  xiao3 yu1 huo4 deng3 yu1  wei4 yu1  wu4 zhi4  ce4 liang4  shi2 duan4 xiang1 jie1  qing2 tai4 shu3 xing4  shi2 duan4 zhong4 die2  Âù¿Ë  bu4 fen5  pian1 xu4 yu1...  bu4 fen5 wei4 yu1  lu4 jing4 chang2  yong1 you3  xian1 jue2 tiao2 jian4  bi4 mian3  te4 xing4  chu1 ban3  fan4 wei2  fan4 wei2 ci4 zhong3 lei4  ti2 ji2  fan3 she4 yu1...  SUMOna4 bu4 xiang1 guan1 gai4 nian4  xiong1 di4 zi3 mei4  xiao3 yu1  kai1 shi3  ci4 shu3 xing4  ci4 ju4 ji2  ci4 tu2  ci4 xu4 lie4  ci4 li4 cheng2  ci4 ming4 ti2  ci4 zhong3 lei4  ci4 guan1 xi4  bao1 han2 xun4 xi1 zhong3 lei4  bao1 han2 xun4 xi1 shi2 li4  xu4 jie1 shu3 xing4  feng1 bi4 xu4 jie1 shu3 xing4  shi2 jian1 bu4 fen5  shi2 jian1 jie4 yu1  shi2 jian1 jie4 yu1 huo4 tong5 shi2  shi2 jian1  quan2 xu4 yu1...  san1 fen1 fa3  shi3 yong4  jie2 he2 jia4  ren2 zao4 wu4 ban3 ben3 

Type restrictions

beforeOrEqual(shi2 dian3, shi2 dian3)

Axioms (4)

(=>
      (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))))))
If point1 (mei2) fa1 sheng1?{s} zai4 point2 huo4 zhi1 qian2, then point1 (mei2) fa1 sheng1?{s} zai4 point2 zhi1 qian2 or point1 deng3 yu1 point2. 
(=>
      (beforeOrEqual ?POINT1 ?POINT2)
      (or
            (before ?POINT1 ?POINT2)
            (equal ?POINT1 ?POINT2)))
point2 zai4 point1 he2 point3 huo4 zhi1 jian1 if and only if point1 (mei2) fa1 sheng1?{s} zai4 point2 huo4 zhi1 qian2 and point2 (mei2) fa1 sheng1?{s} zai4 point3 huo4 zhi1 qian2. 
(<=>
      (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
      (and
            (beforeOrEqual ?POINT1 ?POINT2)
            (beforeOrEqual ?POINT2 ?POINT3)))
(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))