shi2 duan4 xiang1 jie1 (meetsTemporally)

(meetsTemporally interval1 interval2) means that the terminal point of the TimeInterval interval1 is the initial point of the TimeInterval interval2.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 shu4 ci2
is instance of

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

shi2 jian1 guan1 xi4
is instance of

bu2 dui4 chen4 guan1 xi4
is instance of

fei1 ke3 di4 guan1 xi4
is instance of

shi2 duan4 xiang1 jie1

Coordinate term(s)

fan3 mian4 han2 shu4 shi2 jian1 kai1 shi3 han2 shu4 ji4 shu4 han2 shu4 ri4 han2 shu4 shi2 jian1 jie2 shu4 han2 shi4 zheng4 mian4 han2 shu4 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 zhu3 ti1 han2 shu4 huo4 ran2 lv4 han2 shu4 zhou1 qi1 xing4 shi2 ju4 han2 shu4 xiang4 dui4 shi2 jian1 han2 shu4 miao3 zhong1 han2 shu4 biao3 pi2 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 shu3 xing4 zuo4 zhe3 xian1 yu1 xian1 yu1 huo4 tong5 shi2 zhao4 yin1 ci4 lei4 zhao4 yin1 gong1 min2 feng1 bi4 yu1 tian2 man3 xiang1 lian2 de5 bao1 han2 xun4 xi1 gong4 sheng1 fu4 zhi4 xiang1 jiao1 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 tian2 chong1 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 zhi2 jie1 shi2 li4 zhi2 jie1 ci4 zhong3 lei4 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 fang1 shi4/qing2 zhuang4 wu4 zhi4 ce4 liang4 cheng2 yuan2 qing2 tai4 shu3 xing4 shi2 duan4 zhong4 die2 雙親 pian1 xu4 yu1... bu4 fen5 tian2 chong1 bu4 fen5 wei4 yu1 lu4 jing4 chang2 chuan1 ru4 yong1 you3 xian1 jue2 tiao2 jian4 bi4 mian3 zheng4 bu4 fen5 shi4 dang4 tian2 chong1 te4 xing4 chu1 ban3 fan4 wei2 fan4 wei2 ci4 zhong3 lei4 shi2 xian4 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 biao3 mian4 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

meetsTemporally(shi2 duan4, shi2 duan4)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (31)

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 thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" zhi1 qian2" (mei2) xiang1 jie1s "thing cun2 zai4 de5 shi2 jian1".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (PastFn
                  (WhenFn ?THING))
            (WhenFn ?THING)))

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then "thing cun2 zai4 de5 shi2 jian1" (mei2) xiang1 jie1s ""thing cun2 zai4 de5 shi2 jian1" zhi1 hou4".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (WhenFn ?THING)
            (FutureFn
                  (WhenFn ?THING))))

If day1 shi4 "ri4 number1" de5 shi2 li4 and day2 shi4 "ri4 number2" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance
                  ?DAY1
                  (DayFn ?NUMBER1 ?MONTH))
            (instance
                  ?DAY2
                  (DayFn ?NUMBER2 ?MONTH))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?DAY1 ?DAY2))

If hour1 shi4 "xiao3 shi2 number1" de5 shi2 li4 and hour2 shi4 "xiao3 shi2 number2" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then hour1 (mei2) xiang1 jie1s hour2.

(=>
      (and
            (instance
                  ?HOUR1
                  (HourFn ?NUMBER1 ?DAY))
            (instance
                  ?HOUR2
                  (HourFn ?NUMBER2 ?DAY))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?HOUR1 ?HOUR2))

If minute1 shi4 "fen1 zhong1 number1" de5 shi2 li4 and minute2 shi4 "fen1 zhong1 number2" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then minute1 (mei2) xiang1 jie1s minute2.

(=>
      (and
            (instance
                  ?MINUTE1
                  (MinuteFn ?NUMBER1 ?HOUR))
            (instance
                  ?MINUTE2
                  (MinuteFn ?NUMBER2 ?HOUR))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?MINUTE1 ?MINUTE2))

If second1 shi4 "miao3 zhong1 han2 shu4(number1,minute)" de5 shi2 li4 and second2 shi4 "miao3 zhong1 han2 shu4(number2,minute)" de5 shi2 li4 and "(number2-number1)" deng3 yu1 , then second1 (mei2) xiang1 jie1s second2.

(=>
      (and
            (instance
                  ?SECOND1
                  (SecondFn ?NUMBER1 ?MINUTE))
            (instance
                  ?SECOND2
                  (SecondFn ?NUMBER2 ?MINUTE))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?SECOND1 ?SECOND2))

If year1 shi4 nian2 de5 shi2 li4 and year2 shi4 nian2 de5 shi2 li4 and "(year2-year1)" deng3 yu1 , then year1 (mei2) xiang1 jie1s year2.

(=>
      (and
            (instance ?YEAR1 Year)
            (instance ?YEAR2 Year)
            (equal
                  (SubtractionFn ?YEAR2 ?YEAR1)
                  1))
      (meetsTemporally ?YEAR1 ?YEAR2))

If month1 deng3 yu1 "yue4 fen4 yi1 yue4" and month2 deng3 yu1 "yue4 fen4 er4 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn January ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn February ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 er4 yue4" and month2 deng3 yu1 "yue4 fen4 san1 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn February ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn March ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 san1 yue4" and month2 deng3 yu1 "yue4 fen4 si4 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn March ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn April ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 si4 yue4" and month2 deng3 yu1 "yue4 fen4 wu3 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn April ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn May ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 wu3 yue4" and month2 deng3 yu1 "yue4 fen4 liu4 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn May ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn June ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 liu4 yue4" and month2 deng3 yu1 "yue4 fen4 qi1 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn June ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn July ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 qi1 yue4" and month2 deng3 yu1 "yue4 fen4 ba1 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn July ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn August ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 ba1 yue4" and month2 deng3 yu1 "yue4 fen4 jiu3 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn August ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn September ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 jiu3 yue4" and month2 deng3 yu1 "yue4 fen4 shi2 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn September ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn October ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 shi2 yue4" and month2 deng3 yu1 "yue4 fen4 shi2 yi1 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn October ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn November ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 shi2 yi1 yue4" and month2 deng3 yu1 "yue4 fen4 shi2 er4 yue4", then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn November ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn December ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month1 deng3 yu1 "yue4 fen4 shi2 er4 yue4" and month2 deng3 yu1 "yue4 fen4 yi1 yue4" and year1 (mei2) xiang1 jie1s year2, then month1 (mei2) xiang1 jie1s month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn December ?YEAR1))
            (equal
                  ?MONTH2
                  (MonthFn January ?YEAR2))
            (meetsTemporally ?YEAR1 ?YEAR2))
      (meetsTemporally ?MONTH1 ?MONTH2))

If day1 shi4 xing1 qi1 yi1 de5 shi2 li4 and day2 shi4 xing1 qi1 er4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance ?DAY1 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 shi4 xing1 qi1 er4 de5 shi2 li4 and day2 shi4 xing1 qi1 san1 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 shi4 xing1 qi1 san1 de5 shi2 li4 and day2 shi4 xing1 qi1 si4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 shi4 xing1 qi1 si4 de5 shi2 li4 and day2 shi4 xing1 qi1 wu3 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 shi4 xing1 qi1 wu3 de5 shi2 li4 and day2 shi4 xing1 qi1 liu4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 shi4 xing1 qi1 liu4 de5 shi2 li4 and day2 shi4 xing1 qi1 ri4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 shi4 xing1 qi1 ri4 de5 shi2 li4 and day2 shi4 xing1 qi1 yi1 de5 shi2 li4 and week1 shi4 zhou1 de5 shi2 li4 and week2 shi4 zhou1 de5 shi2 li4 and day1 shi4 week1 de5 bu4 fen5 and day2 shi4 week2 de5 bu4 fen5 and week1 (mei2) xiang1 jie1s week2, then day1 (mei2) xiang1 jie1s day2.

(=>
      (and
            (instance ?DAY1 Sunday)
            (instance ?DAY2 Monday)
            (instance ?WEEK1 Week)
            (instance ?WEEK2 Week)
            (temporalPart ?DAY1 ?WEEK1)
            (temporalPart ?DAY2 ?WEEK2)
            (meetsTemporally ?WEEK1 ?WEEK2))
      (meetsTemporally ?DAY1 ?DAY2))

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time1,time2 holds: if time1 shi4 class de5 shi2 li4 and time2 shi4 class de5 shi2 li4 and time1 deng3 yu1 time2, then time1 (mei2) xiang1 jie1s time2 or time2 (mei2) xiang1 jie1s time1 or time1 (mei2) bi3 time2 jiao4 zao3 fa1 sheng1not(s) or time2 (mei2) bi3 time1 jiao4 zao3 fa1 sheng1not(s)

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (instance ?TIME2 ?CLASS)
                        (not
                              (equal ?TIME1 ?TIME2)))
                  (or
                        (meetsTemporally ?TIME1 ?TIME2)
                        (meetsTemporally ?TIME2 ?TIME1)
                        (earlier ?TIME1 ?TIME2)
                        (earlier ?TIME2 ?TIME1)))))

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time1 holds: if time1 shi4 class de5 shi2 li4 and time1 not(mei2) wan2 cheng2 interval, then there exists class time2 so_that_not time1 (mei2) xiang1 jie1s time2

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (finishes ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME1 ?TIME2))))))

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time1 holds: if time1 shi4 class de5 shi2 li4 and time1 not(mei2) kai1 shi3 interval, then there exists class time2 so_that_not time2 (mei2) xiang1 jie1s time1

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (starts ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME2 ?TIME1))))))

If death shi4 si3 wang2 de5 shi2 li4 and birth shi4 dan4 sheng1 de5 shi2 li4 and agent (mei2) ti3 yan4not(s) death and agent (mei2) ti3 yan4not(s) birth, then there exists time so_that_not "birth cun2 zai4 de5 shi2 jian1" (mei2) xiang1 jie1s time and time (mei2) xiang1 jie1s "death cun2 zai4 de5 shi2 jian1" and huo2 de5 shi4 agent de5 shu3 xing4 timea(zhi1 zhong1) time.

(=>
      (and
            (instance ?DEATH Death)
            (instance ?BIRTH Birth)
            (experiencer ?DEATH ?AGENT)
            (experiencer ?BIRTH ?AGENT))
      (exists
            (?TIME)
            (and
                  (meetsTemporally
                        (WhenFn ?BIRTH)
                        ?TIME)
                  (meetsTemporally
                        ?TIME
                        (WhenFn ?DEATH))
                  (holdsDuring
                        ?TIME
                        (attribute ?AGENT Living)))))