Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

IntervalloTemporale (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.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  QuantitáFisica  
is subclass of
  QuantitáCostante  
is subclass of
  MisuraTemporale  
is subclass of
  PosizioneTemporale  
is subclass of
  IntervalloTemporale  

Subclass(es)

Anno  Mese  Giorno  Settimana  Ora  Minuto  Secondo 

Coordinate term(s)

PuntoTemporale 

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.

Axioms (4)

PosizioneTemporale é esaustivamente partizionato in IntervalloTemporale,PuntoTemporale. 
(partition TimePosition TimeInterval TimePoint)
Se point é un' istanza di PuntoTemporale, allora esiste IntervalloTemporale interval tale che point é una parte diinterval. 
(=>
      (instance ?POINT TimePoint)
      (exists
            (?INTERVAL)
            (and
                  (instance ?INTERVAL TimeInterval)
                  (temporalPart ?POINT ?INTERVAL))))
Se interval é un' istanza di IntervalloTemporale, allora esiste PuntoTemporale point tale che point é una parte diinterval. 
(=>
      (instance ?INTERVAL TimeInterval)
      (exists
            (?POINT)
            (and
                  (instance ?POINT TimePoint)
                  (temporalPart ?POINT ?INTERVAL))))
interval2 sovrappones interval1 se e solo se esiste IntervalloTemporale interval3 tale che interval3 é una parte diinterval1 e interval3 é una parte diinterval2. 
(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))