Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

（時間）未來函式 (FutureFn)

A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  時間關係  
is instance of
種類
is instance of
  可繼承關係  
is instance of
  一元函數  
is instance of
is instance of
  （時間）未來函式  

Coordinate term(s)

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

Type restrictions

時段 FutureFn(時間)

Related WordNet synsets

futurity
the quality of being in or of the future
futurity is opposite to...   futurity is kind of (all)...   futurity is kind of...  
future, hereafter, futurity, time to come
the time yet to come
future is opposite to...   future is kind of (all)...   future is kind of...   kinds of future...   kinds of future (all)...  
future
yet to be or coming; "some future historian will evaluate him"
future is opposite to...   see also...   future is similar to...   future is an attribute of  
See more related synsets on a separate page.

Axioms (5)

If thing 是 物質的 的 實例, then "thing 存在 的 時間" (沒) 相接s ""thing 存在 的 時間" 之後". 
(=>
      (instance ?THING Physical)
      (meetsTemporally
            (WhenFn ?THING)
            (FutureFn
                  (WhenFn ?THING))))
If process 是 物質的 的 實例, then ""process 存在 的 時間" 之後" 等於 """process 存在 的 時間" 的 結束" 和 時間終點/永遠 的 間距". 
(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))
If thing 是 物質的 的 實例, then ""thing 存在 的 時間" 不久 之後" (沒) �}始s ""thing 存在 的 時間" 之後". 
(=>
      (instance ?THING Physical)
      (starts
            (ImmediateFutureFn
                  (WhenFn ?THING))
            (FutureFn
                  (WhenFn ?THING))))
If death 是 死亡 的 實例 and agent (沒) 體驗not(s) death, then 死 是 agent 的 屬性 ""death 存在 的 時間" 之後"a(之中) "death 存在 的 時間" 之後. 
(=>
      (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))
      (holdsDuring
            (FutureFn
                  (WhenFn ?DEATH))
            (attribute ?AGENT Dead)))
If kill 是 殺害 的 實例 and patient 是 kill 的 受事者, then 活的 是 patient 的 屬性 ""kill 存在 的 時間" 不久 之前"a(之中) "kill 存在 的 時間" 不久 之前 and 死 是 patient 的 屬性 ""kill 存在 的 時間" 之後"a(之中) "kill 存在 的 時間" 之後. 
(=>
      (and
            (instance ?KILL Killing)
            (patient ?KILL ?PATIENT))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Living))
            (holdsDuring
                  (FutureFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Dead))))