（時間）結束函式 (EndFn)

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

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

種類

可繼承關係

時間關係

種類

可繼承關係

一元函數

（時間）結束函式

Coordinate term(s)

絕對值函數描述函數弧餘弦弧正弦弧正切反面函數（時間）開始函數最初節點函數計數函數上限函數互補函數餘弦函數相交路徑函數日函數單位函數最後節點函數範圍函數下限函數正面函數（時間）未來函式概化函數概化聯集函數十億計函數小時函數虛數函數最近未來時間函數最近過去時間函數起始節點函數整數平方根函數千計函數列長函數級數函數百萬計函數百萬分之一計函數千分之一計函數最小相交路徑函數分鐘函數月份函數奈米函數分子函數組織函數過去時間函式路徑量函數兆分之一計函數冪集合函數前數函數主體函數或然率函數特性函數有理數函數實數函數倒數函數週期性時距函數相對時間函數整數函數秒鐘函數正負號函數正弦函數表皮函數平方根函數後數函數正切函數時間單位函數兆計函數終節點函數時間歷程函數財產函數存在時間函數年份函數先於先於或同時共生較早完成時段相接時段重疊時間介於時間介於或同時時間

Type restrictions

時點 EndFn(時段)

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.

Axioms (14)

if "interval 的結束" 等於 point,
then for all otherpoint holds: if otherpoint 是 interval 的部分 and otherpoint 等於 point, then otherpoint (沒) 發生?{s} 在 point 之前

(=>
      (equal
            (EndFn ?INTERVAL)
            ?POINT)
      (forall
            (?OTHERPOINT)
            (=>
                  (and
                        (temporalPart ?OTHERPOINT ?INTERVAL)
                        (not
                              (equal ?OTHERPOINT ?POINT)))
                  (before ?OTHERPOINT ?POINT))))

interval1 (沒) �}始s interval2 if and only if "interval1 的 �}始" 等於 "interval2 的 �}始" and "interval1 的結束" (沒) 發生?{s} 在 "interval2 的結束" 之前.

(<=>
      (starts ?INTERVAL1 ?INTERVAL2)
      (and
            (equal
                  (BeginFn ?INTERVAL1)
                  (BeginFn ?INTERVAL2))
            (before
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2))))

interval1 (沒) 完成s interval2 if and only if "interval2 的 �}始" (沒) 發生?{s} 在 "interval1 的 �}始" 之前 and "interval2 的結束" 等於 "interval1 的結束".

(<=>
      (finishes ?INTERVAL1 ?INTERVAL2)
      (and
            (before
                  (BeginFn ?INTERVAL2)
                  (BeginFn ?INTERVAL1))
            (equal
                  (EndFn ?INTERVAL2)
                  (EndFn ?INTERVAL1))))

phys (不) 存在s time 期間 and time 是時點的實例 if and only if time 在 ""phys 存在的時間" 的 �}始" 和 ""phys 存在的時間" 的結束" 或之間 .

(<=>
      (and
            (time ?PHYS ?TIME)
            (instance ?TIME TimePoint))
      (temporallyBetweenOrEqual
            (BeginFn
                  (WhenFn ?PHYS))
            ?TIME
            (EndFn
                  (WhenFn ?PHYS))))

If interval1 (沒) 發生not(s) 在 interval2 期間, then "interval1 的結束" (沒) 發生?{s} 在 "interval2 的結束" 之前 and "interval2 的 �}始" (沒) 發生?{s} 在 "interval1 的 �}始" 之前.

(=>
      (during ?INTERVAL1 ?INTERVAL2)
      (and
            (before
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2))
            (before
                  (BeginFn ?INTERVAL2)
                  (BeginFn ?INTERVAL1))))

interval1 (沒) 相接s interval2 if and only if "interval1 的結束" 等於 "interval2 的 �}始".

(<=>
      (meetsTemporally ?INTERVAL1 ?INTERVAL2)
      (equal
            (EndFn ?INTERVAL1)
            (BeginFn ?INTERVAL2)))

If "interval1 的 �}始" 等於 "interval2 的 �}始" and "interval1 的結束" 等於 "interval2 的結束", then interval1 等於 interval2.

(=>
      (and
            (equal
                  (BeginFn ?INTERVAL1)
                  (BeginFn ?INTERVAL2))
            (equal
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2)))
      (equal ?INTERVAL1 ?INTERVAL2))

interval1 (沒) 比 interval2 較早發生not(s) if and only if "interval1 的結束" (沒) 發生?{s} 在 "interval2 的 �}始" 之前.

(<=>
      (earlier ?INTERVAL1 ?INTERVAL2)
      (before
            (EndFn ?INTERVAL1)
            (BeginFn ?INTERVAL2)))

If "point1 和 point2 的間距" 等於 interval, then "interval 的 �}始" 等於 point1 and "interval 的結束" 等於 point2.

(=>
      (equal
            (TimeIntervalFn ?POINT1 ?POINT2)
            ?INTERVAL)
      (and
            (equal
                  (BeginFn ?INTERVAL)
                  ?POINT1)
            (equal
                  (EndFn ?INTERVAL)
                  ?POINT2)))

If thing 是物質的的實例, then ""thing 存在的時間" 的 �}始" (沒) 發生?{s} 在 ""thing 存在的時間" 的結束" 之前.

(=>
      (instance ?THING Physical)
      (before
            (BeginFn
                  (WhenFn ?THING))
            (EndFn
                  (WhenFn ?THING))))

If process 是物質的的實例, then ""process 存在的時間" 之後" 等於 """process 存在的時間" 的結束" 和時間終點/永遠的間距".

(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))

If "text 的版本 int1 " 等於 edition1 and "text 的版本 int2 " 等於 edition2 and int2 (不) 大於 int1 and pub1 是出版的實例 and pub2 是出版的實例 and edition1 是 pub1 的受事者 and edition2 是 pub2 的受事者 and pub1 的日期是 date1 and pub2 的日期是 date2, then "date1 的結束" (沒) 發生?{s} 在 "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)))

If text 是期刊的次種類 and "冊 int1 在系列數 text" 等於 volume1 and "冊 int2 在系列數 text" 等於 volume2 and int2 (不) 大於 int1 and pub1 是出版的實例 and pub2 是出版的實例 and volume1 是 pub1 的受事者 and volume2 是 pub2 的受事者 and pub1 的日期是 date1 and pub2 的日期是 date2, then "date1 的結束" (沒) 發生?{s} 在 "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)))

if artifact 是固定人造物的實例,
then there exists place so that for all time holds: if time (沒) 發生?{s} 在 ""artifact 存在的時間" 的結束" 或之前 and ""artifact 存在的時間" 的 �}始" (沒) 發生?{s} 在 time 或之前, then "artifact 在 time 的 time位置" 等於 place

(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))