Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

minuta (Minute)

The Class of all clock Minutes.

Ontologie

SUMO / TEMPORAL-CONCEPTS

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  fyzikální veličina  
is subclass of
  konstantní veličina  
is subclass of
  časová míra  
is subclass of
  časová pozice  
is subclass of
  časový interval  
is subclass of
  minuta  

Související termín(y)

den  hodina  měsíc  vteřina  týren  rok 

Constrains relations

minute fn  second fn 

Axiomy (5)

minuta je internally related to minute fn. 
(relatedInternalConcept Minute MinuteFn)
minuta je internally related to minute duration. 
(relatedInternalConcept Minute MinuteDuration)
Jestliže minute je instancí třídy minuta, potom duration of minute je " minute duration(s)". 
(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))
Jestliže hour je instancí třídy hodina, potom "cardinality fn(decomposition of hour into ? minutas)" se rovná . 
(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))
Jestliže minute je instancí třídy minuta, potom "cardinality fn(decomposition of minute into ? vteřinas)" se rovná . 
(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))