較早 (earlier)

predate, precede, forego, antecede, antedate: be earlier in time; go back further
earlier, before: earlier in time; previously; "I had known her before"; "as I said before"; "he called me the day before but your call had come even earlier"; "her parents had died four years earlier"; "I mentioned that problem earlier"

See more related synsets on a separate page.

Axioms (9)

先於內部相關於較早.

(relatedInternalConcept before earlier)

interval1 (沒) 比 interval2 較早發生not(s) if and only if "interval1 的結束" (沒) 發生?{s} 在 "interval2 的 �}始" 之前.

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

if "interval 分解成 ? interval-types" 等於 class,
then for all time1,time2 holds: if time1 是 class 的實例 and time2 是 class 的實例 and time1 等於 time2, then time1 (沒) 相接s time2 or time2 (沒) 相接s time1 or time1 (沒) 比 time2 較早發生not(s) or time2 (沒) 比 time1 較早發生not(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 impact 是影響的實例 and obj 是 impact 的受事者, then there exists 穿透 impel so that obj 是 impel 的受事者 and "impel 存在的時間" (沒) 比 "impact 存在的時間" 較早發生not(s).

(=>
      (and
            (instance ?IMPACT Impacting)
            (patient ?IMPACT ?OBJ))
      (exists
            (?IMPEL)
            (and
                  (instance ?IMPEL Impelling)
                  (patient ?IMPEL ?OBJ)
                  (earlier
                        (WhenFn ?IMPEL)
                        (WhenFn ?IMPACT)))))

If predict 是預測的實例 and formula 是 predict 的受事者, then there exists time so that formula (沒) 為真 timea(之中) time and time (沒) 發生?{s} 在 "predict 存在的時間" 之前 or time (沒) 比 "predict 存在的時間" 較早發生not(s).

(=>
      (and
            (instance ?PREDICT Predicting)
            (patient ?PREDICT ?FORMULA))
      (exists
            (?TIME)
            (and
                  (holdsDuring ?TIME ?FORMULA)
                  (or
                        (before
                              ?TIME
                              (WhenFn ?PREDICT))
                        (earlier
                              ?TIME
                              (WhenFn ?PREDICT))))))

If remember 是記憶的實例 and formula 是 remember 的受事者, then there exists time so that formula (沒) 為真 timea(之中) time and time (沒) 發生?{s} 在 "remember 存在的時間" 之前 or time (沒) 比 "remember 存在的時間" 較早發生not(s).

(=>
      (and
            (instance ?REMEMBER Remembering)
            (patient ?REMEMBER ?FORMULA))
      (exists
            (?TIME)
            (and
                  (holdsDuring ?TIME ?FORMULA)
                  (or
                        (before
                              ?TIME
                              (WhenFn ?REMEMBER))
                        (earlier
                              ?TIME
                              (WhenFn ?REMEMBER))))))

If keep 是保有的實例 and keep 是 agent 的施事者 and obj 是 keep 的受事者, then there exists 放置 put so that put 是 agent 的施事者 and obj 是 put 的受事者 and "put 存在的時間" (沒) 比 "keep 存在的時間" 較早發生not(s).

(=>
      (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?AGENT)
            (patient ?KEEP ?OBJ))
      (exists
            (?PUT)
            (and
                  (instance ?PUT Putting)
                  (agent ?PUT ?AGENT)
                  (patient ?PUT ?OBJ)
                  (earlier
                        (WhenFn ?PUT)
                        (WhenFn ?KEEP)))))

If repair 是修護的實例 and obj 是 repair 的受事者, then there exists 損害 damage so that obj 是 damage 的受事者 and "damage 存在的時間" (沒) 比 "repair 存在的時間" 較早發生not(s).

(=>
      (and
            (instance ?REPAIR Repairing)
            (patient ?REPAIR ?OBJ))
      (exists
            (?DAMAGE)
            (and
                  (instance ?DAMAGE Damaging)
                  (patient ?DAMAGE ?OBJ)
                  (earlier
                        (WhenFn ?DAMAGE)
                        (WhenFn ?REPAIR)))))

If obj 的發展形式是 attr1 time1a(之中) time1 and attr2 是 attr1 的封閉續接屬性, then there exists time2 so that time2 (沒) 比 time1 較早發生not(s) and obj 的發展形式是 attr2 time2a(之中) time2.

(=>
      (and
            (holdsDuring
                  ?TIME1
                  (developmentalForm ?OBJ ?ATTR1))
            (successorAttributeClosure ?ATTR2 ?ATTR1))
      (exists
            (?TIME2)
            (and
                  (earlier ?TIME2 ?TIME1)
                  (holdsDuring
                        ?TIME2
                        (developmentalForm ?OBJ ?ATTR2)))))