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

分 (Minute)

The Class of all clock Minutes.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

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

Coordinate term(s)

日  小時  月  秒  週  年 

Constrains relations

分鐘函數  秒鐘函數 

Axioms (5)

分 內部相關於 分鐘函數. 
(relatedInternalConcept Minute MinuteFn)
分 內部相關於 分計. 
(relatedInternalConcept Minute MinuteDuration)
If minute 是 分 的 實例, then minute 的 持續 是 " 分計(s)". 
(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))
If hour 是 小時 的 實例, then ""hour 分解成 ? 分s" 中 實例 的 數目" 等於 . 
(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))
If minute 是 分 的 實例, then ""minute 分解成 ? 秒s" 中 實例 的 數目" 等於 . 
(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))