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

časový interval (TimeInterval)

An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  fyzikální veličina  
is subclass of
  konstantní veličina  
is subclass of
  časová míra  
is subclass of
  časová pozice  
is subclass of
  časový interval  

Podtřída(y)

rok  měsíc  den  týren  hodina  minuta  vteřina 

Související termín(y)

okamžik 

Constrains relations

begin fn  end fn  future fn  immediate future fn  immediate past fn  past fn  recurrent time interval fn  temporal composition fn  time interval fn  when fn  duration  during  earlier  finishes  meets temporally  overlaps temporally  starts 

Related WordNet synsets

time interval, interval
a definite length of time marked off by two instants
time interval is kind of (all)...   time interval is kind of...   kinds of time interval...   kinds of time interval (all)...  
See more related synsets on a separate page.

Axiomy (4)

časová pozice je exhaustively partitioned into časový interval,okamžik. 
(partition TimePosition TimeInterval TimePoint)
Jestliže point je instancí třídy okamžik, potom existuje časový interval interval tak, že point je a part of interval. 
(=>
      (instance ?POINT TimePoint)
      (exists
            (?INTERVAL)
            (and
                  (instance ?INTERVAL TimeInterval)
                  (temporalPart ?POINT ?INTERVAL))))
Jestliže interval je instancí třídy časový interval, potom existuje okamžik point tak, že point je a part of interval. 
(=>
      (instance ?INTERVAL TimeInterval)
      (exists
            (?POINT)
            (and
                  (instance ?POINT TimePoint)
                  (temporalPart ?POINT ?INTERVAL))))
interval2 overlaps interval1 tehdy a jen tehdy pokud existuje časový interval interval3 tak, že interval3 je a part of interval1 a interval3 je a part of interval2. 
(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))