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

zhou1 ji4 (WeekDuration)

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

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

liang2 du4 dan1 wei4
is instance of
  zhou1 ji4  

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  shu4 liang4  
is subclass of
  wu4 li3 liang4  
is subclass of
  chang2 liang4  
is subclass of
  shi2 jian1 dan1 wei4  
is subclass of
  chi2 xu4 shi2 jian1  
is subclass of
  zhou1 ji4  

Coordinate term(s)

yuan2 zi3 zhi4 liang4 dan1 wei4  guang1 pu3 xian4 bo1 zhang3 dan1 wei4  jiao3 du4  atom gram  wei4 yuan2  ying1 guo2 re4 liang4 dan1 wei4-BTU  wei4 yuan2 zu3  re4 liang4 de5 dan1 wei4-ka3 lu4 li3  gong1 fen1  ban4 pin3 tuo1 zhi1 liang4  ri4 ji4  dian4 ya1 dan1 wei4-dian4 fu2 te4  ou1 yuan2 yi1 fen1  ou1 yuan2 yi1 yuan2  hua2 shi4-du4  ying1 chi3  shi2 ji4  ying1 cun4  qian1 wei4 yuan2 zu3  gong1 sheng1  bai3 wan4 wei4 yuan2 zu3  ying1 li3  fen1 ji4  ang4 si1  pin3 tuo1  li4 liang5 dan1 wei4  bang4  rong2 liang4 huo4 ye4 liang4 dan1 wei4  mo2 ca1 jiao3 du4  miao3 ji4  zhi4 liang4 dan1 wei4  ying1 zhi4 ye4 liang4 dan1 wei4-jia1 lun2  mei3 yuan2 yi1 fen1  mei3 yuan2 yi1 yuan2  mei3 zhi4 ye4 liang4 dan1 wei4-jia1 lun2  nian2 ji4 

Axioms (2)

If number shi4 shi2 shu4 de5 shi2 li4, then "number zhou1 ji4(s)" deng3 yu1 ""number*" ri4 ji4(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))
If week shi4 zhou1 de5 shi2 li4, then week de5 chi2 xu4 shi4 " zhou1 ji4(s)". 
(=>
      (instance ?WEEK Week)
      (duration
            ?WEEK
            (MeasureFn 1 WeekDuration)))