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

relative time fn (RelativeTimeFn)

A means of converting TimePositions between different TimeZones. (RelativeTimeFn time zone) denotes the TimePosition in CoordinatedUniversalTime that is contemporaneous with the TimePosition time in TimeZone zone. For example, (RelativeTimeFn (MeasureFn 14 Hour) EasternTimeZone) would return the value (MeasureFn 19 Hour).

Ontology

SUMO / QUALITIES

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  FunzioneBinaria  
is instance of
Classe
is instance of
  inheritable relation  
is instance of
  RelazioneTemporale  
is instance of
is instance of
  relative time fn  

Coordinate term(s)

addition fn  begin fn  day fn  density fn  division fn  edition fn  end fn  exponentiation fn  future fn  graph path fn  hour fn  immediate future fn  immediate past fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  month fn  multiplication fn  past fn  periodical issue fn  recurrent time interval fn  relative complement fn  remainder fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  when fn  where fn  year fn  before  before or equal  cooccur  earlier  finishes  meets temporally  overlaps temporally  temporally between  temporally between or equal  time 

Type restrictions

PosizioneTemporale RelativeTimeFn(PosizioneTemporale, FusoOrario)

Axioms (4)

Se "relative time fn(time1,pacific time zone)" is uguale a time2, allora time2 is uguale a "(time1+". 
(=>
      (equal
            (RelativeTimeFn ?TIME1 PacificTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 8)))
Se "relative time fn(time1,mountain time zone)" is uguale a time2, allora time2 is uguale a "(time1+". 
(=>
      (equal
            (RelativeTimeFn ?TIME1 MountainTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 7)))
Se "relative time fn(time1,central time zone)" is uguale a time2, allora time2 is uguale a "(time1+". 
(=>
      (equal
            (RelativeTimeFn ?TIME1 CentralTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 6)))
Se "relative time fn(time1,eastern time zone)" is uguale a time2, allora time2 is uguale a "(time1+". 
(=>
      (equal
            (RelativeTimeFn ?TIME1 EasternTimeZone)
            ?TIME2)
      (equal
            ?TIME2
            (AdditionFn ?TIME1 5)))