（時間）開始函數 (BeginFn)

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

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

種類

可繼承關係

時間關係

種類

可繼承關係

一元函數

（時間）開始函數

Coordinate term(s)

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

Type restrictions

時點 BeginFn(時段)

Related WordNet synsets

beginning: the event consisting of the start of something: "the beginning of the war"
birth: the time when something begins (especially life); "they divorced after the birth of the child" or "his election signaled the birth of a new age"
terminus a quo, starting point: earliest limiting point

See more related synsets on a separate page.

Axioms (16)

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

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

If process (不) �_源s 於 obj, then "process 在 ""process 存在的時間" 的 �}始" 的 ""process 存在的時間" 的 �}始"位置" 位於 "obj 在 ""obj 存在的時間" 的 �}始" 的 ""obj 存在的時間" 的 �}始"位置".

(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))

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

if obj 是 proc 的結果,
then for all time holds: if time (沒) 發生?{s} 在 ""proc 存在的時間" 的 �}始" 之前, then obj not(不) 存在 time 期間

(=>
      (result ?PROC ?OBJ)
      (forall
            (?TIME)
            (=>
                  (before
                        ?TIME
                        (BeginFn
                              (WhenFn ?PROC)))
                  (not
                        (time ?OBJ ?TIME)))))

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
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))

If parent 是 child 的雙親, then ""parent 存在的時間" 的 �}始" (沒) 發生?{s} 在 ""child 存在的時間" 的 �}始" 之前.

(=>
      (parent ?CHILD ?PARENT)
      (before
            (BeginFn
                  (WhenFn ?PARENT))
            (BeginFn
                  (WhenFn ?CHILD))))

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

If 完全形成的是 obj 的屬性, then there exists 生長 growth so that obj (沒) 體驗not(s) growth and 未完全形成的是 obj 的屬性 ""obj 存在的時間" 的 �}始"a(之中) "obj 存在的時間" 的 �}始.

(=>
      (attribute ?OBJ FullyFormed)
      (exists
            (?GROWTH)
            (and
                  (instance ?GROWTH Growth)
                  (experiencer ?GROWTH ?OBJ)
                  (holdsDuring
                        (BeginFn
                              (WhenFn ?OBJ))
                        (attribute ?OBJ NonFullyFormed)))))