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

Minuto (Minute)

The Class of all clock Minutes.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  QuantitáFisica  
is subclass of
  QuantitáCostante  
is subclass of
  MisuraTemporale  
is subclass of
  PosizioneTemporale  
is subclass of
  IntervalloTemporale  
is subclass of
  Minuto  

Coordinate term(s)

Giorno  Ora  Mese  Secondo  Settimana  Anno 

Constrains relations

minute fn  second fn 

Axioms (5)

Minuto é interamente correlato a minute fn. 
(relatedInternalConcept Minute MinuteFn)
Minuto é interamente correlato a minute duration. 
(relatedInternalConcept Minute MinuteDuration)
Se minute é un' istanza di Minuto, allora durata di minute é " minute duration(s". 
(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))
Se hour é un' istanza di Ora, allora "il numero di istanzia in "decomposizione di hour in ? Minutos"" is uguale a . 
(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))
Se minute é un' istanza di Minuto, allora "il numero di istanzia in "decomposizione di minute in ? Secondos"" is uguale a . 
(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))