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

# end fn (EndFn)

A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends.

## Ontologie

SUMO / TEMPORAL-CONCEPTS

## Class(es)

 třída

inheritable relation

časová relace
 třída

inheritable relation

unární funkce

end fn

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

absolute value fn  abstraction fn  arc cosine fn  arc sine fn  arc tangent fn  back fn  begin fn  begin node fn  cardinality fn  ceiling fn  complement fn  cosine fn  cut set fn  day fn  denominator fn  end node fn  extension fn  floor fn  front fn  future fn  generalized intersection fn  generalized union fn  giga fn  hour fn  imaginary part fn  immediate future fn  immediate past fn  initial node fn  integer square root fn  kilo fn  list length fn  magnitude fn  mega fn  micro fn  milli fn  minimal cut set fn  minute fn  month fn  nano fn  numerator fn  organization fn  past fn  path weight fn  pico fn  power set fn  predecessor fn  principal host fn  probability fn  property fn  rational number fn  real number fn  reciprocal fn  recurrent time interval fn  relative time fn  round fn  second fn  signum fn  sine fn  skin fn  square root fn  successor fn  tangent fn  temporal composition fn  tera fn  terminal node fn  time interval fn  wealth fn  when fn  year fn  before  before or equal  cooccur  earlier  finishes  meets temporally  overlaps temporally  temporally between  temporally between or equal  time

## Typy argumentů

okamžik EndFn(časový interval)

## Related WordNet synsets

ending, conclusion
an event whose occurrence ends something; "his death marked the ending of an era"

end, last
the concluding part of an event or occurrence: "the end was exciting"; "I had to miss the last of the movie"

death, dying, demise
the time when something ends; "it was the death of all his plans"; "a dying of old hopes"

end, ending
the point in time at which something ends; "the end of the year"; "the ending of warranty period"

stopping point, finale, finis, finish, last, terminus, conclusion, close
the concluding time; "he awaited the grand finale"; "he stayed until the finish"; "he left before the conclusion"

terminus ad quem, terminal point, limit
final or latest limiting point

See more related synsets on a separate page.

## Axiomy (14)

• jestliže "the end of interval" se rovná point,
• potom pro všechny otherpoint platí: jestliže otherpoint je a part of interval a otherpoint se nerovná point, potom otherpoint happens before point
• .
```(=>
(equal
(EndFn ?INTERVAL)
?POINT)
(forall
(?OTHERPOINT)
(=>
(and
(temporalPart ?OTHERPOINT ?INTERVAL)
(not
(equal ?OTHERPOINT ?POINT)))
(before ?OTHERPOINT ?POINT))))```

interval1 starts interval2 tehdy a jen tehdy pokud "the beginning of interval1" se rovná "the beginning of interval2" a "the end of interval1" happens before the end of interval2.
```(<=>
(starts ?INTERVAL1 ?INTERVAL2)
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2))))```

interval1 finishes interval2 tehdy a jen tehdy pokud "the beginning of interval2" happens before the beginning of interval1 a "the end of interval2" se rovná "the end of interval1".
```(<=>
(finishes ?INTERVAL1 ?INTERVAL2)
(and
(before
(BeginFn ?INTERVAL2)
(BeginFn ?INTERVAL1))
(equal
(EndFn ?INTERVAL2)
(EndFn ?INTERVAL1))))```

phys exists during time a time je instancí třídy okamžik tehdy a jen tehdy pokud time je between or at "the beginning of doba existence phys" and "the end of doba existence phys".
```(<=>
(and
(time ?PHYS ?TIME)
(instance ?TIME TimePoint))
(temporallyBetweenOrEqual
(BeginFn
(WhenFn ?PHYS))
?TIME
(EndFn
(WhenFn ?PHYS))))```

Jestliže interval1 takes place during interval2, potom "the end of interval1" happens before the end of interval2 a "the beginning of interval2" happens before the beginning of interval1.
```(=>
(during ?INTERVAL1 ?INTERVAL2)
(and
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2))
(before
(BeginFn ?INTERVAL2)
(BeginFn ?INTERVAL1))))```

interval1 meets interval2 tehdy a jen tehdy pokud "the end of interval1" se rovná "the beginning of interval2".
```(<=>
(meetsTemporally ?INTERVAL1 ?INTERVAL2)
(equal
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2)))```

Jestliže "the beginning of interval1" se rovná "the beginning of interval2" a "the end of interval1" se rovná "the end of interval2", potom interval1 se rovná interval2.
```(=>
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(equal
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2)))
(equal ?INTERVAL1 ?INTERVAL2))```

interval1 happens earlier than interval2 tehdy a jen tehdy pokud "the end of interval1" happens before the beginning of interval2.
```(<=>
(earlier ?INTERVAL1 ?INTERVAL2)
(before
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2)))```

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 thing je instancí třídy fyzický objekt, potom "the beginning of doba existence thing" happens before the end of doba existence thing.
```(=>
(instance ?THING Physical)
(before
(BeginFn
(WhenFn ?THING))
(EndFn
(WhenFn ?THING))))```

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)))```

Jestliže "edition fn(text,int1)" se rovná edition1 a "edition fn(text,int2)" se rovná edition2 a int2 je větší než int1 a pub1 je instancí třídy publikování a pub2 je instancí třídy publikování a edition1 je účastníkem pub1 a edition2 je účastníkem pub2 a date of pub1 je date1 a date of pub2 je date2, potom "the end of date1" happens before the end of date2.
```(=>
(and
(equal
(EditionFn ?TEXT ?INT1)
?EDITION1)
(equal
(EditionFn ?TEXT ?INT2)
?EDITION2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(patient ?PUB1 ?EDITION1)
(patient ?PUB2 ?EDITION2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2)))```

Jestliže text je podtřídou periodikum a "series volume fn(text,int1)" se rovná volume1 a "series volume fn(text,int2)" se rovná volume2 a int2 je větší než int1 a pub1 je instancí třídy publikování a pub2 je instancí třídy publikování a volume1 je účastníkem pub1 a volume2 je účastníkem pub2 a date of pub1 je date1 a date of pub2 je date2, potom "the end of date1" happens before the end of date2.
```(=>
(and
(subclass ?TEXT Periodical)
(equal
(SeriesVolumeFn ?TEXT ?INT1)
?VOLUME1)
(equal
(SeriesVolumeFn ?TEXT ?INT2)
?VOLUME2)
(greaterThan ?INT2 ?INT1)
(instance ?PUB1 Publication)
(instance ?PUB2 Publication)
(patient ?PUB1 ?VOLUME1)
(patient ?PUB2 ?VOLUME2)
(date ?PUB1 ?DATE1)
(date ?PUB2 ?DATE2))
(before
(EndFn ?DATE1)
(EndFn ?DATE2)))```

• jestliže artifact je instancí třídy nemovitost,
• potom existuje place tak, že pro všechny time platí: jestliže time happen?{s} before or at "the end of doba existence artifact" a "the beginning of doba existence artifact" happen?{s} before or at time, potom "místo kde artifact byl v čase time" se rovná place
• .
```(=>
(instance ?ARTIFACT StationaryArtifact)
(exists
(?PLACE)
(forall
(?TIME)
(=>
(and
(beforeOrEqual
?TIME
(EndFn
(WhenFn ?ARTIFACT)))
(beforeOrEqual
(BeginFn
(WhenFn ?ARTIFACT))
?TIME))
(equal
(WhereFn ?ARTIFACT ?TIME)
?PLACE)))))```