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

week duration (WeekDuration)

Time unit. A week's duration is seven days.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

UnitáDiMisura
is instance of
  week duration  

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
  Durata  
is subclass of
  week duration  

Coordinate term(s)

amu  angstrom  angular degree  atom gram  bit  british thermal unit  byte  calorie  centimeter  cup  day duration  electron volt  euro cent  euro dollar  fahrenheit degree  foot  hour duration  inch  kilo byte  liter  mega byte  mile  minute duration  ounce  pint  pound force  pound mass  quart  rankine degree  second duration  slug  united kingdom gallon  united states cent  united states dollar  united states gallon  year duration 

Axioms (2)

Se number é un' istanza di NumeroReale, allora "number week duration(s" is uguale a ""number*" day duration(s". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))
Se week é un' istanza di Settimana, allora durata di week é " week duration(s". 
(=>
      (instance ?WEEK Week)
      (duration
            ?WEEK
            (MeasureFn 1 WeekDuration)))