Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

vorOderGleichzeitig (beforeOrEqual)

(beforeOrEqual point1 point2) means that point1 is identical with point2 or occurs before it on the universal timeline.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Prädikat  
is instance of
Kategorie
is instance of
  inheritable relation  
is instance of
  zeitliche Relation  
is instance of
Halbordnungsrelation
is instance of
is instance of
  vorOderGleichzeitig  

Subrelation(s)

vor 

Coordinate term(s)

AnfangFn  TagFn  EndeFn  ZukunftFn  StundeFn  SofortigeZukunftFn  DirektVergangenheitFn  MinuteFn  MonatFn  VergangenheitFn  RückläufigeZeitAbstandFn  RelativeZeitFn  SekundFn  ZeitlicheAufbauFn  ZeitabstandFn  WennFn  JahrFn  arctusGewicht  schreibt  vor  verursacht  causes subclass  bürger  aufgeschlossen  angeschlossen  enthältInformationen  zusammenGeschiecht  kopie  datum  verringertWahrscheinlichkeit  entwicklungsForm  disjunkt  istDistributiv  dokumentation  &%dauer von %1 ist %2 %n{nicht}  früh  herausgeber  element  beschäftigt  %1 ist gleich %2 %n{nicht}  äquivalenzrelationMit  nutztAus  inSpracheAusgedrückt  stelltGegenüber  verwandt  beendet  frequenz  graphenTeil  grösserAls  grösserAlsOderGleich  hatZweck  hatFähigkeit  hältWährend  hatVerpflichtung  hatRecht  loch  identitätsElement  inListe  imBereichInteresses  vergrössertWahrscheinlichkeit  Unabhänigkeitswahrscheinlichkeit  wohnt  hemmt  ausgangsList  fall  umkehrFunktion  irreflexivAur  grösser  kleinerAls  kleinerAlsOderGleich  befindetSich  material  mass  schliesstZeitlichAn  modalesAttribute  decktSichZeitlich  elternteil  teil  teilweiseEinrichtung  befindetSichTeils  pfadLänge  besitzt  vorbedingung  verhindert  eigenschaft  veröffentlicht  &%bildbereich von %1 ist ein fall von %2 {nicht}  bildbereichTeilkategorie  beziehtSichAuf  reflexivAuf  verwandtesInnenkonzept  geschwister  kleiner  beginnt  teilAttribut  teilsammlung  teilGraph  teilliste  subProzess  %1 ist eine &%teilangelegenheit von %2 %n{nicht}  teilkategorie  teilrelation  fasstInhaltsKategorieZusammen  fasstInhaltsFallZusammen  nachfolgerAttribut  nachfolgerAttributSchliessung  zeitlichesTeil  zeitlichZwischen  zeitlichZwischenOderGleichzeitig  zeit  gesamteinrichtung  trichotomizierungAuf  verwendet  valenz  version 

Type restrictions

beforeOrEqual(Zeitpunkt, Zeitpunkt)

Axioms (4)

(=>
      (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))))))
Wenn point1 geschieht vor oder gleichzeitig mit point2 , dann point1 geschieht vor point2 oder point1 ist gleich point2 . 
(=>
      (beforeOrEqual ?POINT1 ?POINT2)
      (or
            (before ?POINT1 ?POINT2)
            (equal ?POINT1 ?POINT2)))
point2 ist zwischen oder gleichzeitig mit point1 und point3 nur wenn point1 geschieht vor oder gleichzeitig mit point2 und point2 geschieht vor oder gleichzeitig mit point3 . 
(<=>
      (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
      (and
            (beforeOrEqual ?POINT1 ?POINT2)
            (beforeOrEqual ?POINT2 ?POINT3)))
(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))