過去時間函式 (PastFn)

A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

種類

可繼承關係

時間關係

種類

可繼承關係

一元函數

過去時間函式

Coordinate term(s)

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

Type restrictions

時段 PastFn(時間)

Related WordNet synsets

pastness: the quality of being past
past, past times, yesteryear, yore: the time that has elapsed; "forget the past"
old: past times (especially in the phrase "in days of old")
past: earlier than the present time; no longer current; "time past"; "his youth is past"; "this past Thursday"; "the past year"

See more related synsets on a separate page.

Axioms (6)

If attr1 是 attr2 的續接屬性 and entity 有屬性 attr2 time1a(之中) time1, then there exists time2 so that time2 是 "time1 之前" 的部分 and entity 有屬性 attr1 time2a(之中) time2.

(=>
      (and
            (successorAttribute ?ATTR1 ?ATTR2)
            (holdsDuring
                  ?TIME1
                  (property ?ENTITY ?ATTR2)))
      (exists
            (?TIME2)
            (and
                  (temporalPart
                        ?TIME2
                        (PastFn ?TIME1))
                  (holdsDuring
                        ?TIME2
                        (property ?ENTITY ?ATTR1)))))

If thing 是物質的的實例, then ""thing 存在的時間" 之前" (沒) 相接s "thing 存在的時間".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (PastFn
                  (WhenFn ?THING))
            (WhenFn ?THING)))

If process 是物質的的實例, then ""process 存在的時間" 之前" 等於 "時間起點/亙古和 ""process 存在的時間" 的 �}始" 的間距".

(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))

If thing 是物質的的實例, then ""thing 存在的時間" 不久之前" (沒) 完成s ""thing 存在的時間" 之前".

(=>
      (instance ?THING Physical)
      (finishes
            (ImmediatePastFn
                  (WhenFn ?THING))
            (PastFn
                  (WhenFn ?THING))))

If decode 是解碼的實例 and doc1 是 decode 的受事者, then there exist encode,doc2,time so that doc2 (不) �]含s) 訊息 %2 and doc1 (不) �]含s) 訊息 %2 and time 是 ""decode 存在的時間" 之前" 的部分 and encode 是編碼的實例 and doc2 是 encode 的受事者 timea(之中) time.

(=>
      (and
            (instance ?DECODE Decoding)
            (patient ?DECODE ?DOC1))
      (exists
            (?ENCODE ?DOC2 ?TIME)
            (and
                  (containsInformation ?DOC2 ?PROP)
                  (containsInformation ?DOC1 ?PROP)
                  (temporalPart
                        ?TIME
                        (PastFn
                              (WhenFn ?DECODE)))
                  (holdsDuring
                        ?TIME
                        (and
                              (instance ?ENCODE Encoding)
                              (patient ?ENCODE ?DOC2))))))

If 幼體的是 org 的屬性 timea(之中) time, then there exists 誕生 birth so that org (沒) 體驗not(s) birth "time 之前"a(之中) time 之前.

(=>
      (holdsDuring
            ?TIME
            (attribute ?ORG Larval))
      (holdsDuring
            (PastFn ?TIME)
            (exists
                  (?BIRTH)
                  (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?ORG)))))