shi2 jian1 kai1 shi3 han2 shu4 (BeginFn)

A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

shi2 jian1 guan1 xi4
is instance of

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

yi1 yuan2 han2 shu4
is instance of

shi2 jian1 kai1 shi3 han2 shu4

Coordinate term(s)

jue2 dui4 zhi2 han2 shu4 miao2 shu4 han2 shu4 hu2 yu2 xian2 hu2 zheng4 xian2 hu2 zheng4 qie1 fan3 mian4 han2 shu4 zui4 chu1 jie2 dian3 han2 shu4 ji4 shu4 han2 shu4 shang4 xian4 han2 shu4 hu4 bu3 han2 shu4 yu2 xian2 han2 shu4 xiang1 jiao1 lu4 jing4 han2 shu4 ri4 han2 shu4 dan1 wei4 han2 shu4 shi2 jian1 jie2 shu4 han2 shi4 zui4 hou4 jie2 dian3 han2 shu4 fan4 wei2 han2 shu4 xia4 xian4 han2 shu4 zheng4 mian4 han2 shu4 shi2 jian1 wei4 lai2 han2 shi4 gai4 hua4 han2 shu4 gai4 hua4 lian2 ji2 han2 shu4 shi2 yi4 ji4 han2 shu4 xiao3 shi2 han2 shu4 xu1 shu4 han2 shu4 zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4 zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4 qi3 shi3 jie2 dian3 han2 shu4 zheng3 shu4 ping2 fang1 gen1 han2 shu4 qian1 ji4 han2 shu4 lie4 zhang3 han2 shu4 ji2 shu4 han2 shu4 bai3 wan4 ji4 han2 shu4 bai3 wan4 fen1 zhi1 yi1 ji4 han2 shu4 qian1 fen1 zhi1 yi1 ji4 han2 shu4 zui4 xiao3 xiang1 jiao1 lu4 jing4 han2 shu4 fen1 zhong1 han2 shu4 yue4 fen4 han2 shu4 nai4 mi3 han2 shu4 fen1 zi3 han2 shu4 zu3 zhi1 han2 shu4 guo4 qu4 shi2 jian1 han2 shi4 lu4 jing4 liang4 han2 shu4 zhao4 fen1 zhi1 yi1 ji4 han2 shu4 mi4 ji2 he2 han2 shu4 qian2 shu4 han2 shu4 zhu3 ti1 han2 shu4 huo4 ran2 lv4 han2 shu4 te4 xing4 han2 shu4 you3 li3 shu4 han2 shu4 shi2 shu4 han2 shu4 dao3 shu4 han2 shu4 zhou1 qi1 xing4 shi2 ju4 han2 shu4 xiang4 dui4 shi2 jian1 han2 shu4 zheng3 shu4 han2 shu4 miao3 zhong1 han2 shu4 zheng4 fu4 hao4 han2 shu4 zheng4 xian2 han2 shu4 biao3 pi2 han2 shu4 ping2 fang1 gen1 han2 shu4 hou4 shu4 han2 shu4 zheng4 qie1 han2 shu4 shi2 jian1 dan1 wei4 han2 shu4 zhao4 ji4 han2 shu4 zhong1 jie2 dian3 han2 shu4 shi2 jian1 li4 cheng2 han2 shu4 cai2 chan3 han2 shu4 cun2 zai4 shi2 jian1 han2 shu4 nian2 fen4 han2 shu4 xian1 yu1 xian1 yu1 huo4 tong5 shi2 gong4 sheng1 jiao4 zao3 wan2 cheng2 shi2 duan4 xiang1 jie1 shi2 duan4 zhong4 die2 shi2 jian1 jie4 yu1 shi2 jian1 jie4 yu1 huo4 tong5 shi2 shi2 jian1

Type restrictions

shi2 dian3 BeginFn(shi2 duan4)

Related WordNet synsets

beginning: the event consisting of the start of something: "the beginning of the war"
birth: the time when something begins (especially life); "they divorced after the birth of the child" or "his election signaled the birth of a new age"
terminus a quo, starting point: earliest limiting point

See more related synsets on a separate page.

Axioms (16)

if "interval de5 kai1 shi3" deng3 yu1 point,
then for all otherpoint holds: if otherpoint shi4 interval de5 bu4 fen5 and otherpoint deng3 yu1 point, then point (mei2) fa1 sheng1?{s} zai4 otherpoint zhi1 qian2

(=>
      (equal
            (BeginFn ?INTERVAL)
            ?POINT)
      (forall
            (?OTHERPOINT)
            (=>
                  (and
                        (temporalPart ?OTHERPOINT ?INTERVAL)
                        (not
                              (equal ?OTHERPOINT ?POINT)))
                  (before ?POINT ?OTHERPOINT))))

If process (bu2) qi3 yuan2s yu1 obj, then "process zai4 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4" wei4 yu1 "obj zai4 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4".

(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))

interval1 (mei2) kai1 shi3s interval2 if and only if "interval1 de5 kai1 shi3" deng3 yu1 "interval2 de5 kai1 shi3" and "interval1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "interval2 de5 jie2 shu4" zhi1 qian2.

(<=>
      (starts ?INTERVAL1 ?INTERVAL2)
      (and
            (equal
                  (BeginFn ?INTERVAL1)
                  (BeginFn ?INTERVAL2))
            (before
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2))))

interval1 (mei2) wan2 cheng2s interval2 if and only if "interval2 de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 "interval1 de5 kai1 shi3" zhi1 qian2 and "interval2 de5 jie2 shu4" deng3 yu1 "interval1 de5 jie2 shu4".

(<=>
      (finishes ?INTERVAL1 ?INTERVAL2)
      (and
            (before
                  (BeginFn ?INTERVAL2)
                  (BeginFn ?INTERVAL1))
            (equal
                  (EndFn ?INTERVAL2)
                  (EndFn ?INTERVAL1))))

if obj shi4 proc de5 jie2 guo3,
then for all time holds: if time (mei2) fa1 sheng1?{s} zai4 ""proc cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" zhi1 qian2, then obj not(bu2) cun2 zai4 time qi1 jian1

(=>
      (result ?PROC ?OBJ)
      (forall
            (?TIME)
            (=>
                  (before
                        ?TIME
                        (BeginFn
                              (WhenFn ?PROC)))
                  (not
                        (time ?OBJ ?TIME)))))

phys (bu2) cun2 zai4s time qi1 jian1 and time shi4 shi2 dian3 de5 shi2 li4 if and only if time zai4 ""phys cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" he2 ""phys cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 jian1 .

(<=>
      (and
            (time ?PHYS ?TIME)
            (instance ?TIME TimePoint))
      (temporallyBetweenOrEqual
            (BeginFn
                  (WhenFn ?PHYS))
            ?TIME
            (EndFn
                  (WhenFn ?PHYS))))

If interval1 (mei2) fa1 sheng1not(s) zai4 interval2 qi1 jian1, then "interval1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "interval2 de5 jie2 shu4" zhi1 qian2 and "interval2 de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 "interval1 de5 kai1 shi3" zhi1 qian2.

(=>
      (during ?INTERVAL1 ?INTERVAL2)
      (and
            (before
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2))
            (before
                  (BeginFn ?INTERVAL2)
                  (BeginFn ?INTERVAL1))))

interval1 (mei2) xiang1 jie1s interval2 if and only if "interval1 de5 jie2 shu4" deng3 yu1 "interval2 de5 kai1 shi3".

(<=>
      (meetsTemporally ?INTERVAL1 ?INTERVAL2)
      (equal
            (EndFn ?INTERVAL1)
            (BeginFn ?INTERVAL2)))

If "interval1 de5 kai1 shi3" deng3 yu1 "interval2 de5 kai1 shi3" and "interval1 de5 jie2 shu4" deng3 yu1 "interval2 de5 jie2 shu4", then interval1 deng3 yu1 interval2.

(=>
      (and
            (equal
                  (BeginFn ?INTERVAL1)
                  (BeginFn ?INTERVAL2))
            (equal
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2)))
      (equal ?INTERVAL1 ?INTERVAL2))

interval1 (mei2) bi3 interval2 jiao4 zao3 fa1 sheng1not(s) if and only if "interval1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "interval2 de5 kai1 shi3" zhi1 qian2.

(<=>
      (earlier ?INTERVAL1 ?INTERVAL2)
      (before
            (EndFn ?INTERVAL1)
            (BeginFn ?INTERVAL2)))

If "point1 he2 point2 de5 jian1 ju4" deng3 yu1 interval, then "interval de5 kai1 shi3" deng3 yu1 point1 and "interval de5 jie2 shu4" deng3 yu1 point2.

(=>
      (equal
            (TimeIntervalFn ?POINT1 ?POINT2)
            ?INTERVAL)
      (and
            (equal
                  (BeginFn ?INTERVAL)
                  ?POINT1)
            (equal
                  (EndFn ?INTERVAL)
                  ?POINT2)))

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 ""thing cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" zhi1 qian2.

(=>
      (instance ?THING Physical)
      (before
            (BeginFn
                  (WhenFn ?THING))
            (EndFn
                  (WhenFn ?THING))))

If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 qian2" deng3 yu1 "shi2 jian1 qi3 dian3/gen4 gu3 he2 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 jian1 ju4".

(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))

If parent shi4 child de5 shuang1 qin1, then ""parent cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 ""child cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" zhi1 qian2.

(=>
      (parent ?CHILD ?PARENT)
      (before
            (BeginFn
                  (WhenFn ?PARENT))
            (BeginFn
                  (WhenFn ?CHILD))))

if artifact shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4,
then there exists place so_that_not for all time holds: if time (mei2) fa1 sheng1?{s} zai4 ""artifact cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 qian2 and ""artifact cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 time huo4 zhi1 qian2, then "artifact zai4 time de5 timewei4 zhi4" deng3 yu1 place

(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))

If wan2 quan2 xing2 cheng2 de5 shi4 obj de5 shu3 xing4, then there exists sheng1 zhang3 growth so_that_not obj (mei2) ti3 yan4not(s) growth and wei4 wan2 quan2 xing2 cheng2 de5 shi4 obj de5 shu3 xing4 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"a(zhi1 zhong1) "obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3.

(=>
      (attribute ?OBJ FullyFormed)
      (exists
            (?GROWTH)
            (and
                  (instance ?GROWTH Growth)
                  (experiencer ?GROWTH ?OBJ)
                  (holdsDuring
                        (BeginFn
                              (WhenFn ?OBJ))
                        (attribute ?OBJ NonFullyFormed)))))