Wählen Sie Sprache: 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]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Eigenschaft  
is subclass of
  körperliche Quantität  
is subclass of
  konstante Quantität  
is subclass of
  Zeitmass  
is subclass of
  Zeitposition  
is subclass of
  Zeitabstand  
is subclass of
  Minute  

Coordinate term(s)

Tag  Stunde  Monat  Sekunde  Woche  Jahr 

Constrains relations

MinuteFn  SekundFn 

Axioms (5)

Minute ist innerlich verwandt mit MinuteFn . 
(relatedInternalConcept Minute MinuteFn)
Minute ist innerlich verwandt mit minute duration . 
(relatedInternalConcept Minute MinuteDuration)
Wenn minute ist ein fall von Minute , dann dauer von minute ist " minute duration(s)" . 
(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))
Wenn hour ist ein fall von Stunde , dann "die Zahl Fällen in "Aufspaltung von hour auf ? Minutes"" ist gleich . 
(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))
Wenn minute ist ein fall von Minute , dann "die Zahl Fällen in "Aufspaltung von minute auf ? Sekundes"" ist gleich . 
(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))