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

# time interval fn (TimeIntervalFn)

A BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined by these two TimePoints. Note that the first TimePoint must occur earlier than the second TimePoint.

## Ontologie

SUMO / TEMPORAL-CONCEPTS

## Class(es)

 třída

inheritable relation

binární funkce
 třída

inheritable relation

časová relace

time interval fn

## Související termín(y)

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  relative time fn  remainder fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition 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

## Typy argumentů

časový interval TimeIntervalFn(okamžik, okamžik)

## Related WordNet synsets

distance, space
the interval between two times; "the distance from birth to death"; "it all happened in the space of 10 minutes"

## Axiomy (4)

Jestliže "interval between point1 and point2" se rovná interval, potom "the beginning of interval" se rovná point1 a "the end of interval" se rovná point2.
```(=>
(equal
(TimeIntervalFn ?POINT1 ?POINT2)
?INTERVAL)
(and
(equal
(BeginFn ?INTERVAL)
?POINT1)
(equal
(EndFn ?INTERVAL)
?POINT2)))```

Jestliže "interval between point1 and point2" se rovná interval, potom pro všechny point platí: point je between or at point1 and point2 tehdy a jen tehdy pokud point je a part of interval.
```(=>
(equal
(TimeIntervalFn ?POINT1 ?POINT2)
?INTERVAL)
(forall
(?POINT)
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
(temporalPart ?POINT ?INTERVAL))))```

Jestliže process je instancí třídy fyzický objekt, potom "před doba existence process" se rovná "interval between negative infinity and "the beginning of doba existence process"".
```(=>
(instance ?PROCESS Physical)
(equal
(PastFn
(WhenFn ?PROCESS))
(TimeIntervalFn
NegativeInfinity
(BeginFn
(WhenFn ?PROCESS)))))```

Jestliže process je instancí třídy fyzický objekt, potom "po doba existence process" se rovná "interval between "the end of doba existence process" and positive infinity".
```(=>
(instance ?PROCESS Physical)
(equal
(FutureFn
(WhenFn ?PROCESS))
(TimeIntervalFn
(EndFn
(WhenFn ?PROCESS))
PositiveInfinity)))```