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

時間 (time)

This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. The constants located and time are the basic spatial and temporal predicates, respectively.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  二元述詞  
is instance of
種類
is instance of
  可繼承關係  
is instance of
  時間關係  
is instance of
不對稱關係
is instance of
is instance of
  時間  

Subrelation(s)

日期 

Coordinate term(s)

反面函數  （時間）開始函數  計數函數  日函數  （時間）結束函式  正面函數  （時間）未來函式  小時函數  最近未來時間函數  最近過去時間函數  分鐘函數  月份函數  過去時間函式  主體函數  或然率函數  週期性時距函數  相對時間函數  秒鐘函數  表皮函數  時間單位函數  時間歷程函數  存在時間函數  年份函數  弧線重量  屬性  作者  先於  先於或同時  肇因  次類肇因  公民  封閉於  填滿  相連的  包含訊息  共生  複製  相交  日期  降低可能性  發展期形式  無交集  分配  文字說明  持續時間  較早  編者  元素  雇用  相等  等同關係於  利用  以...語言表達  面對  家族關係  填充  完成  次數  圖部分  大於  大於或等於  有意圖  有技巧  在...期間為真  須使...為真  有權使...為真  洞  同一元素  直接實例  直接次種類  串列中  在注意範圍中  增加可能性  獨立或然率  居住  抑制  初始化序列  實例  倒序  非反射於...  大於  小於  小於或等於  方式/情狀  物質  測量  時段相接  成員  情態屬性  時段重疊  雙親  偏序於...  部分填充  部分位於  路徑長  穿入  擁有  先決條件  避免  正部分  適當填充  特性  出版  範圍  範圍次種類  實現  提及  反射於...  SUMO內部相關概念  兄弟姊妹  小於  開始  次屬性  次聚集  次圖  次序列  次歷程  次命題  次種類  次關係  包含訊息種類  包含訊息實例  續接屬性  封閉續接屬性  表面  時間部分  時間介於  時間介於或同時  全序於...  三分法  使用  （結合）價  人造物版本 

Type restrictions

time(物質的, 時間)

Related WordNet synsets

timing
the time when something happens
timing is kind of (all)...   timing is kind of...   kinds of timing...   kinds of timing (all)...   timing is an attribute of  
See more related synsets on a separate page.

Axioms (11)

phys 是 物質的 的 實例 if and only if there exist loc,time so that phys 位於 loc and phys (不) 存在s time 期間. 
(<=>
      (instance ?PHYS Physical)
      (exists
            (?LOC ?TIME)
            (and
                  (located ?PHYS ?LOC)
                  (time ?PHYS ?TIME))))
abs 是 抽象的 的 實例 if and only if there doesn't exist point so that abs 位於 point or abs (不) 存在s point 期間. 
(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))
位於 內部相關於 時間. 
(relatedInternalConcept located time)
If rel(inst1,inst2) (不) 成立s intervala(之中) interval and inst1 是 物質的 的 實例 and inst2 是 物質的 的 實例, then inst1 (不) 存在s interval 期間 and inst2 (不) 存在s interval 期間. 
(=>
      (and
            (holdsDuring
                  ?INTERVAL
                  (holds ?REL ?INST1 ?INST2))
            (instance ?INST1 Physical)
            (instance ?INST2 Physical))
      (and
            (time ?INST1 ?INTERVAL)
            (time ?INST2 ?INTERVAL)))
pos 是 "thing 存在 的 時間" 的 部分 if and only if thing (不) 存在s pos 期間. 
(<=>
      (temporalPart
            ?POS
            (WhenFn ?THING))
      (time ?THING ?POS))
(=>
      (instance ?OBJ Object)
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 TimePoint)
                  (instance ?TIME2 TimePoint)
                  (before ?TIME1 ?TIME2)
                  (forall
                        (?TIME)
                        (=>
                              (and
                                    (beforeOrEqual ?TIME1 ?TIME)
                                    (beforeOrEqual ?TIME ?TIME2))
                              (time ?OBJ ?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 proc 是 歷程 的 實例 and subproc 是 proc 的 次歷�{, then there exists time so that subproc (不) 存在s time 期間. 
(=>
      (and
            (instance ?PROC Process)
            (subProcess ?SUBPROC ?PROC))
      (exists
            (?TIME)
            (time ?SUBPROC ?TIME)))
process 是 毀滅 的 實例 if and only if there exists patient so that patient 是 process 的 受事者 and patient (不) 存在s ""process 存在 的 時間" 不久 之前" 期間 and patient not(不) 存在 ""process 存在 的 時間" 不久 之後" 期間. 
(<=>
      (instance ?PROCESS Destruction)
      (exists
            (?PATIENT)
            (and
                  (patient ?PROCESS ?PATIENT)
                  (time
                        ?PATIENT
                        (ImmediatePastFn
                              (WhenFn ?PROCESS)))
                  (not
                        (time
                              ?PATIENT
                              (ImmediateFutureFn
                                    (WhenFn ?PROCESS)))))))
process 是 產生 的 實例 if and only if there exists patient so that patient 是 process 的 受事者 and patient (不) 存在s ""process 存在 的 時間" 不久 之後" 期間 and patient not(不) 存在 ""process 存在 的 時間" 不久 之前" 期間. 
(<=>
      (instance ?PROCESS Creation)
      (exists
            (?PATIENT)
            (and
                  (patient ?PROCESS ?PATIENT)
                  (time
                        ?PATIENT
                        (ImmediateFutureFn
                              (WhenFn ?PROCESS)))
                  (not
                        (time
                              ?PATIENT
                              (ImmediatePastFn
                                    (WhenFn ?PROCESS)))))))