Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

temporally between (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.

Ontologie

SUMO / TEMPORAL-CONCEPTS

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  časová relace  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  predikát se třemi argumenty  
is instance of
is instance of
  temporally between  

Superrelation(s)

temporally between or equal
is subrelation of
  temporally between  

Související termín(y)

begin fn  day fn  end 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  altitude  before  before or equal  between  capability  conditional probability  confers obligation  confers right  connects  cooccur  depth  distance  domain  domain subclass  earlier  finishes  has purpose for agent  links  meets temporally  occupies position  orientation  overlaps temporally  prefers  related external concept  represents for agent  represents in language  temporally between or equal  time 

Typy argumentů

temporallyBetween(okamžik, okamžik, okamžik)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (3)

Jestliže point je instancí třídy okamžik a point se nerovná positive infinity, potom existuje otherpoint tak, že otherpoint je between point and positive infinity. 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT PositiveInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Jestliže point je instancí třídy okamžik a point se nerovná negative infinity, potom existuje otherpoint tak, že otherpoint je between negative infinity and point. 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
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)))