時間部分 (temporalPart)

If attr1 是 attr2 的續接屬性 and entity 有屬性 attr2 time1a(之中) time1, then there exists time2 so that time2 是 "time1 之前" 的部分 and entity 有屬性 attr1 time2a(之中) time2.

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

if 每 time1 發生 proc,
then for all time2 holds: if time2 的持續是 time1, then there exists position so that position 是 time2 的部分 and there exists inst so that inst 是 proc 的實例 positiona(之中) position

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

If point 是時點的實例, then there exists 時段 interval so that point 是 interval 的部分.

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

If interval 是時段的實例, then there exists 時點 point so that point 是 interval 的部分.

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

If situation (沒) 為真 time1a(之中) time1 and time2 是 time1 的部分, then situation (沒) 為真 time2a(之中) time2.

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

pos 是 "thing 存在的時間" 的部分 if and only if thing (不) 存在s pos 期間.

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

if "interval 的 �}始" 等於 point,
then for all otherpoint holds: if otherpoint 是 interval 的部分 and otherpoint 等於 point, then point (沒) 發生?{s} 在 otherpoint 之前

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

if "interval 的結束" 等於 point,
then for all otherpoint holds: if otherpoint 是 interval 的部分 and otherpoint 等於 point, then otherpoint (沒) 發生?{s} 在 point 之前

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

interval2 (沒) 與 1 ?重疊s if and only if there exists 時段 interval3 so that interval3 是 interval1 的部分 and interval3 是 interval2 的部分.

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

If "point1 和 point2 的間距" 等於 interval, then for all point holds: point 在 point1 和 point2 或之間 if and only if point 是 interval 的部分.

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

If day1 是星期一的實例 and day2 是星期二的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

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

If day1 是星期二的實例 and day2 是星期三的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

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

If day1 是星期三的實例 and day2 是星期四的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

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

If day1 是星期四的實例 and day2 是星期五的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

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

If day1 是星期五的實例 and day2 是星期六的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

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

If day1 是星期六的實例 and day2 是星期日的實例 and week 是週的實例 and day1 是 week 的部分 and day2 是 week 的部分, then day1 (沒) 相接s day2.

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

If day1 是星期日的實例 and day2 是星期一的實例 and week1 是週的實例 and week2 是週的實例 and day1 是 week1 的部分 and day2 是 week2 的部分 and week1 (沒) 相接s week2, then day1 (沒) 相接s 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 分解成 ? interval-types" 等於 class,
then for all time holds: if time 是時點的實例 and time 是 interval 的部分, then there exists class instance so that time 是 instance 的部分

(=>
      (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 是保有的實例 and obj 是 keep 的受事者,
then there exists place so that for all time holds: if time 是 "keep 存在的時間" 的部分, then obj 位於 place timea(之中) time

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

If decode 是解碼的實例 and doc1 是 decode 的受事者, then there exist encode,doc2,time so that doc2 (不) �]含s) 訊息 %2 and doc1 (不) �]含s) 訊息 %2 and time 是 ""decode 存在的時間" 之前" 的部分 and encode 是編碼的實例 and doc2 是 encode 的受事者 timea(之中) 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))))))