before (before)

(before point1 point2) means that point1 precedes point2 on the universal timeline.

Ontologie

SUMO / TEMPORAL-CONCEPTS

Class(es)

třída

inheritable relation

časová relace
is instance of

ireflexivní relace
is instance of

tranzitivní relace
is instance of

before

Superrelation(s)

before or equal

before

Související termín(y)

back fn begin fn day fn end fn front fn future fn hour fn immediate future fn immediate past fn minute fn month fn past fn recurrent time interval fn relative time fn second fn temporal composition fn time interval fn when fn year fn attribute before or equal connected engineering components cooccur crosses decreases likelihood developmental form disjoint during earlier finishes graph part greater than in list increases likelihood inhibits interior part larger less than manner meets spatially meets temporally modal attribute overlaps partially overlaps temporally path length precondition prevents proper part sibling smaller starts sub collection sub graph sub organizations sub plan sub proposition successor attribute closure superficial part temporally between temporally between or equal time version

Typy argumentů

before(okamžik, okamžik)

Related WordNet synsets

precession, precedence: the act of preceding
earliness: quality of coming early or earlier in time
priority, antecedence, antecedency, anteriority, precedence: preceding in time

See more related synsets on a separate page.

Axiomy (19)

Jestliže point je instancí třídy okamžik a point se nerovná positive infinity, potom point happens before positive infinity.

(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT PositiveInfinity)))
      (before ?POINT PositiveInfinity))

Jestliže point je instancí třídy okamžik a point se nerovná negative infinity, potom negative infinity happens before point.

(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (before NegativeInfinity ?POINT))

jestliže "the beginning of interval" se rovná point,
potom pro všechny otherpoint platí: jestliže otherpoint je a part of interval a otherpoint se nerovná point, potom point happens before otherpoint

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

jestliže "the end of interval" se rovná point,
potom pro všechny otherpoint platí: jestliže otherpoint je a part of interval a otherpoint se nerovná point, potom otherpoint happens before point

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

interval1 starts interval2 tehdy a jen tehdy pokud "the beginning of interval1" se rovná "the beginning of interval2" a "the end of interval1" happens before the end of interval2.

(<=>
      (starts ?INTERVAL1 ?INTERVAL2)
      (and
            (equal
                  (BeginFn ?INTERVAL1)
                  (BeginFn ?INTERVAL2))
            (before
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2))))

interval1 finishes interval2 tehdy a jen tehdy pokud "the beginning of interval2" happens before the beginning of interval1 a "the end of interval2" se rovná "the end of interval1".

(<=>
      (finishes ?INTERVAL1 ?INTERVAL2)
      (and
            (before
                  (BeginFn ?INTERVAL2)
                  (BeginFn ?INTERVAL1))
            (equal
                  (EndFn ?INTERVAL2)
                  (EndFn ?INTERVAL1))))

before je internally related to earlier.

(relatedInternalConcept before earlier)

jestliže obj je instancí třídy objekt,
potom existují okamžik time1,okamžik time2 tak, že time1 happens before time2 a pro všechny time platí: jestliže time1 happen?{s} before or at time a time happen?{s} before or at time2, potom obj exists during time

(=>
      (instance ?OBJ Object)
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 TimePoint)
                  (instance ?TIME2 TimePoint)
                  (before ?TIME1 ?TIME2)
                  (forall
                        (?TIME)
                        (=>
                              (and
                                    (beforeOrEqual ?TIME1 ?TIME)
                                    (beforeOrEqual ?TIME ?TIME2))
                              (time ?OBJ ?TIME))))))

jestliže obj je výsledkem proc,
potom pro všechny time platí: jestliže time happens before the beginning of doba existence proc, potom obj doesn't exist during time

(=>
      (result ?PROC ?OBJ)
      (forall
            (?TIME)
            (=>
                  (before
                        ?TIME
                        (BeginFn
                              (WhenFn ?PROC)))
                  (not
                        (time ?OBJ ?TIME)))))

Jestliže point1 happen?{s} before or at point2, potom point1 happens before point2 nebo point1 se rovná point2.

(=>
      (beforeOrEqual ?POINT1 ?POINT2)
      (or
            (before ?POINT1 ?POINT2)
            (equal ?POINT1 ?POINT2)))

point2 je between point1 and point3 tehdy a jen tehdy pokud point1 happens before point2 a point2 happens before point3.

(<=>
      (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
      (and
            (before ?POINT1 ?POINT2)
            (before ?POINT2 ?POINT3)))

Jestliže interval1 takes place during interval2, potom "the end of interval1" happens before the end of interval2 a "the beginning of interval2" happens before the beginning of interval1.

(=>
      (during ?INTERVAL1 ?INTERVAL2)
      (and
            (before
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2))
            (before
                  (BeginFn ?INTERVAL2)
                  (BeginFn ?INTERVAL1))))

interval1 happens earlier than interval2 tehdy a jen tehdy pokud "the end of interval1" happens before the beginning of interval2.

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

Jestliže thing je instancí třídy fyzický objekt, potom "the beginning of doba existence thing" happens before the end of doba existence thing.

(=>
      (instance ?THING Physical)
      (before
            (BeginFn
                  (WhenFn ?THING))
            (EndFn
                  (WhenFn ?THING))))

Jestliže predict je instancí třídy předpovídání a formula je účastníkem predict, potom existuje time tak, že formula platí během time a time happens before doba existence predict nebo time happens earlier than "doba existence predict".

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

Jestliže remember je instancí třídy zapamatování a formula je účastníkem remember, potom existuje time tak, že formula platí během time a time happens before doba existence remember nebo time happens earlier than "doba existence remember".

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

Jestliže parent je a parent of child, potom "the beginning of doba existence parent" happens before the beginning of doba existence child.

(=>
      (parent ?CHILD ?PARENT)
      (before
            (BeginFn
                  (WhenFn ?PARENT))
            (BeginFn
                  (WhenFn ?CHILD))))

Jestliže "edition fn(text,int1)" se rovná edition1 a "edition fn(text,int2)" se rovná edition2 a int2 je větší než int1 a pub1 je instancí třídy publikování a pub2 je instancí třídy publikování a edition1 je účastníkem pub1 a edition2 je účastníkem pub2 a date of pub1 je date1 a date of pub2 je date2, potom "the end of date1" happens before the end of date2.

(=>
      (and
            (equal
                  (EditionFn ?TEXT ?INT1)
                  ?EDITION1)
            (equal
                  (EditionFn ?TEXT ?INT2)
                  ?EDITION2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?EDITION1)
            (patient ?PUB2 ?EDITION2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))

Jestliže text je podtřídou periodikum a "series volume fn(text,int1)" se rovná volume1 a "series volume fn(text,int2)" se rovná volume2 a int2 je větší než int1 a pub1 je instancí třídy publikování a pub2 je instancí třídy publikování a volume1 je účastníkem pub1 a volume2 je účastníkem pub2 a date of pub1 je date1 a date of pub2 je date2, potom "the end of date1" happens before the end of date2.

(=>
      (and
            (subclass ?TEXT Periodical)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT1)
                  ?VOLUME1)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT2)
                  ?VOLUME2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?VOLUME1)
            (patient ?PUB2 ?VOLUME2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))