shi2 jian1 dan1 wei4 han2 shu4 (TemporalCompositionFn)

The basic Function for expressing the composition of larger TimeIntervals out of smaller TimeIntervals. For example, if ThisSeptember is an instance of September, (TemporalCompositionFn ThisSeptember Day) denotes the Class of consecutive days that make up ThisSeptember. Note that one can obtain the number of instances of this Class by using the function CardinalityFn.

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

er4 yuan2 han2 shu4
is instance of

shi2 jian1 dan1 wei4 han2 shu4

Coordinate term(s)

jia1 fa3 han2 shu4 shi2 jian1 kai1 shi3 han2 shu4 ri4 han2 shu4 mi4 du4 han2 shu4 chu2 fa3 han2 shu4 wen2 ben3 ban3 ben3 han2 shu4 shi2 jian1 jie2 shu4 han2 shi4 zhi3 shu4 han2 shu4 shi2 jian1 wei4 lai2 han2 shi4 tu2 lu4 jing4 han2 shu4 xiao3 shi2 han2 shu4 zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4 zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4 jiao1 ji2 han2 shu4 jian1 ge2 han2 shu4 zhong3 lei4 miao2 shu4 han2 shu4 lie4 jie2 han2 shu4 lie4 xu4 han2 shu4 dui4 shu4 han2 shu4 zui4 da4 zhi2 han2 shu4 zui4 da4 liang4 lu4 jing4 han2 shu4 ce4 liang4 han2 shu4 bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4 bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4 bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4 zui4 xiao3 zhi2 han2 shu4 zui4 xiao3 liang4 lu4 jing4 han2 shu4 fen1 zhong1 han2 shu4 yue4 fen4 han2 shu4 cheng2 fa3 han2 shu4 guo4 qu4 shi2 jian1 han2 shi4 qi1 kan1 yi1 qi1 han2 shu4 zhou1 qi1 xing4 shi2 ju4 han2 shu4 guan1 xi4 hu4 bu3 han2 shu4 xiang4 dui4 shi2 jian1 han2 shu4 yu2 shu4 han2 shu4 miao3 zhong1 han2 shu4 xi4 lie4 yi1 juan4 han2 shu4 su4 du4 han2 shu4 jian3 fa3 han2 shu4 shi2 jian1 li4 cheng2 han2 shu4 lian2 ji2 han2 shu4 cun2 zai4 shi2 jian1 han2 shu4 wei4 zhi4 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

subclass shi2 duan4 TemporalCompositionFn(shi2 duan4, subclass shi2 duan4)

Axioms (13)

if "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time1,time2 holds: if time1 shi4 interval-type de5 shi2 li4 and time2 shi4 class de5 shi2 li4, then there exists duration so_that_not time1 de5 chi2 xu4 shi4 duration and time2 de5 chi2 xu4 shi4 duration

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?INTERVAL-TYPE)
                        (instance ?TIME2 ?CLASS))
                  (exists
                        (?DURATION)
                        (and
                              (duration ?TIME1 ?DURATION)
                              (duration ?TIME2 ?DURATION))))))

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 there exists class time so_that_not time (mei2) kai1 shi3s interval.

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (exists
            (?TIME)
            (and
                  (instance ?TIME ?CLASS)
                  (starts ?TIME ?INTERVAL))))

If "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class, then there exists class time so_that_not time (mei2) wan2 cheng2s interval.

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (exists
            (?TIME)
            (and
                  (instance ?TIME ?CLASS)
                  (finishes ?TIME ?INTERVAL))))

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 "interval fen1 jie3 cheng2 ? interval-types" deng3 yu1 class,
then for all time holds: if time shi4 shi2 dian3 de5 shi2 li4 and time shi4 interval de5 bu4 fen5, then there exists class instance so_that_not time shi4 instance de5 bu4 fen5

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME)
            (=>
                  (and
                        (instance ?TIME TimePoint)
                        (temporalPart ?TIME ?INTERVAL))
                  (exists
                        (?INSTANCE)
                        (and
                              (instance ?INSTANCE ?CLASS)
                              (temporalPart ?TIME ?INSTANCE))))))

If year shi4 nian2 de5 shi2 li4, then ""year fen1 jie3 cheng2 ? yue4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .

(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))

If month shi4 yue4 de5 shi2 li4 and month de5 chi2 xu4 shi4 "number ri4 ji4(s)", then ""month fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 number.

(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))

If week shi4 zhou1 de5 shi2 li4, then ""week fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .

(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))

If day shi4 ri4 de5 shi2 li4, then ""day fen1 jie3 cheng2 ? xiao3 shi2s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .

(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))

If hour shi4 xiao3 shi2 de5 shi2 li4, then ""hour fen1 jie3 cheng2 ? fen1s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .

(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))

If minute shi4 fen1 de5 shi2 li4, then ""minute fen1 jie3 cheng2 ? miao3s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .

(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))