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

時間 (TimePosition)

Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  
is subclass of
  時間單位  
is subclass of
  時間  

Subclass(es)

時段  時點 

Coordinate term(s)

持續時間 

Constrains relations

（時間）未來函式  最近未來時間函數  最近過去時間函數  過去時間函式  相對時間函數  在...期間為真  時間部分  時間 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

時間 完全 分割成 時段,時點. 
(partition TimePosition TimeInterval TimePoint)
If time 是 時間 的 實例 and agent1 (沒) 擁有not(s) obj timea(之中) time and agent2 (沒) 擁有not(s) obj timea(之中) time, then agent1 等於 agent2. 
(=>
      (and
            (instance ?TIME TimePosition)
            (holdsDuring
                  ?TIME
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  ?TIME
                  (possesses ?AGENT2 ?OBJ)))
      (equal ?AGENT1 ?AGENT2))