shi2 jian1 bu4 fen5 (temporalPart)

If attr1 shi4 attr2 de5 xu4 jie1 shu3 xing4 and entity you3 shu3 xing4 attr2 time1a(zhi1 zhong1) time1, then there exists time2 so_that_not time2 shi4 "time1 zhi1 qian2" de5 bu4 fen5 and entity you3 shu3 xing4 attr1 time2a(zhi1 zhong1) time2.

(=>
      (and
            (successorAttribute ?ATTR1 ?ATTR2)
            (holdsDuring
                  ?TIME1
                  (property ?ENTITY ?ATTR2)))
      (exists
            (?TIME2)
            (and
                  (temporalPart
                        ?TIME2
                        (PastFn ?TIME1))
                  (holdsDuring
                        ?TIME2
                        (property ?ENTITY ?ATTR1)))))

if mei3 time1 fa1 sheng1 proc,
then for all time2 holds: if time2 de5 chi2 xu4 shi4 time1, then there exists position so_that_not position shi4 time2 de5 bu4 fen5 and there exists inst so_that_not inst shi4 proc de5 shi2 li4 positiona(zhi1 zhong1) position

(=>
      (frequency ?PROC ?TIME1)
      (forall
            (?TIME2)
            (=>
                  (duration ?TIME2 ?TIME1)
                  (exists
                        (?POSITION)
                        (and
                              (temporalPart ?POSITION ?TIME2)
                              (holdsDuring
                                    ?POSITION
                                    (exists
                                          (?INST)
                                          (instance ?INST ?PROC))))))))

If point shi4 shi2 dian3 de5 shi2 li4, then there exists shi2 duan4 interval so_that_not point shi4 interval de5 bu4 fen5.

(=>
      (instance ?POINT TimePoint)
      (exists
            (?INTERVAL)
            (and
                  (instance ?INTERVAL TimeInterval)
                  (temporalPart ?POINT ?INTERVAL))))

If interval shi4 shi2 duan4 de5 shi2 li4, then there exists shi2 dian3 point so_that_not point shi4 interval de5 bu4 fen5.

(=>
      (instance ?INTERVAL TimeInterval)
      (exists
            (?POINT)
            (and
                  (instance ?POINT TimePoint)
                  (temporalPart ?POINT ?INTERVAL))))

If situation (mei2) wei2 zhen1 time1a(zhi1 zhong1) time1 and time2 shi4 time1 de5 bu4 fen5, then situation (mei2) wei2 zhen1 time2a(zhi1 zhong1) time2.

(=>
      (and
            (holdsDuring ?TIME1 ?SITUATION)
            (temporalPart ?TIME2 ?TIME1))
      (holdsDuring ?TIME2 ?SITUATION))

pos shi4 "thing cun2 zai4 de5 shi2 jian1" de5 bu4 fen5 if and only if thing (bu2) cun2 zai4s pos qi1 jian1.

(<=>
      (temporalPart
            ?POS
            (WhenFn ?THING))
      (time ?THING ?POS))

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 "interval de5 jie2 shu4" deng3 yu1 point,
then for all otherpoint holds: if otherpoint shi4 interval de5 bu4 fen5 and otherpoint deng3 yu1 point, then otherpoint (mei2) fa1 sheng1?{s} zai4 point zhi1 qian2

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

interval2 (mei2) yu3 1 ?zhong4 die2s if and only if there exists shi2 duan4 interval3 so_that_not interval3 shi4 interval1 de5 bu4 fen5 and interval3 shi4 interval2 de5 bu4 fen5.

(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))

If "point1 he2 point2 de5 jian1 ju4" deng3 yu1 interval, then for all point holds: point zai4 point1 he2 point2 huo4 zhi1 jian1 if and only if point shi4 interval de5 bu4 fen5.

(=>
      (equal
            (TimeIntervalFn ?POINT1 ?POINT2)
            ?INTERVAL)
      (forall
            (?POINT)
            (<=>
                  (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
                  (temporalPart ?POINT ?INTERVAL))))

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 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 keep shi4 bao3 you3 de5 shi2 li4 and obj shi4 keep de5 shou4 shi4 zhe3,
then there exists place so_that_not for all time holds: if time shi4 "keep cun2 zai4 de5 shi2 jian1" de5 bu4 fen5, then obj wei4 yu1 place timea(zhi1 zhong1) time

(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))

If decode shi4 jie3 ma3 de5 shi2 li4 and doc1 shi4 decode de5 shou4 shi4 zhe3, then there exist encode,doc2,time so_that_not doc2 (bu2) bao1 han2s) xun4 xi1 %2 and doc1 (bu2) bao1 han2s) xun4 xi1 %2 and time shi4 ""decode cun2 zai4 de5 shi2 jian1" zhi1 qian2" de5 bu4 fen5 and encode shi4 bian1 ma3 de5 shi2 li4 and doc2 shi4 encode de5 shou4 shi4 zhe3 timea(zhi1 zhong1) time.

(=>
      (and
            (instance ?DECODE Decoding)
            (patient ?DECODE ?DOC1))
      (exists
            (?ENCODE ?DOC2 ?TIME)
            (and
                  (containsInformation ?DOC2 ?PROP)
                  (containsInformation ?DOC1 ?PROP)
                  (temporalPart
                        ?TIME
                        (PastFn
                              (WhenFn ?DECODE)))
                  (holdsDuring
                        ?TIME
                        (and
                              (instance ?ENCODE Encoding)
                              (patient ?ENCODE ?DOC2))))))