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

zeitlichZwischen (temporallyBetween)

(temporallyBetween point1 point2 point3) means that the TimePoint point2 is between the TimePoints point1 and point3, i.e. point1 is before point2 and point2 is before point3.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  zeitliche Relation  
is instance of
Kategorie
is instance of
  inheritable relation  
is instance of
  dreistellige Prädikat  
is instance of
is instance of
  zeitlichZwischen  

Superrelation(s)

zeitlichZwischenOderGleichzeitig
is subrelation of
  zeitlichZwischen  

Coordinate term(s)

AnfangFn  TagFn  EndeFn  ZukunftFn  StundeFn  SofortigeZukunftFn  DirektVergangenheitFn  MinuteFn  MonatFn  VergangenheitFn  RückläufigeZeitAbstandFn  RelativeZeitFn  SekundFn  ZeitlicheAufbauFn  ZeitabstandFn  WennFn  JahrFn  altitude  vor  vorOderGleichzeitig  zwischen  fähigkeit  Abhänigkeitswahrscheinlichkeit  konferiertVerpflichtung  konferiertRecht  schliesstAn  zusammenGeschiecht  depth  abstand  definitionsbereich  definitionsbereichteilkategorie  früh  beendet  hatZweckFürAgent  verbindet  schliesstZeitlichAn  besetztPosition  lagebestimmung  decktSichZeitlich  bevorzugt  verwandtesÄusserkonzept  stelltDarFürAgent  inSpracheDargestellt  zeitlichZwischenOderGleichzeitig  zeit 

Type restrictions

temporallyBetween(Zeitpunkt, Zeitpunkt, Zeitpunkt)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

Wenn point ist ein fall von Zeitpunkt und point ist gleich positive infinity nicht, dann es gibt ein otherpoint der otherpoint ist zwischen point und positive infinity. 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT PositiveInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Wenn point ist ein fall von Zeitpunkt und point ist gleich negative infinity nicht, dann es gibt ein otherpoint der otherpoint ist zwischen negative infinity und point. 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
point2 ist zwischen point1 und point3 nur wenn point1 geschieht vor point2 und point2 geschieht vor point3 . 
(<=>
      (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
      (and
            (before ?POINT1 ?POINT2)
            (before ?POINT2 ?POINT3)))