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

minute (Minute)

The Class of all clock Minutes.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  time measure  
is subclass of
  time position  
is subclass of
  time interval  
is subclass of
  minute  

Coordinate term(s)

day  hour  month  second  week  year 

Constrains relations

minute fn  second fn 

Axioms (5)

minute is internally related to minute fn. 
(relatedInternalConcept Minute MinuteFn)
minute is internally related to minute duration. 
(relatedInternalConcept Minute MinuteDuration)
If minute is an instance of minute, then duration of minute is " minute duration(s)". 
(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))
If hour is an instance of hour, then "the number of instances in "decomposition of hour into ? minutes"" is equal to . 
(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))
If minute is an instance of minute, then "the number of instances in "decomposition of minute into ? seconds"" is equal to . 
(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))