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

ri4 (Day)

The Class of all calendar Days.

Ontology

SUMO / TEMPORAL-CONCEPTS

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
  shi2 jian1  
is subclass of
  shi2 duan4  
is subclass of
  ri4  

Subclass(es)

xing1 qi1 yi1  xing1 qi1 er4  xing1 qi1 san1  xing1 qi1 si4  xing1 qi1 wu3  xing1 qi1 liu4  xing1 qi1 ri4 

Coordinate term(s)

xiao3 shi2  fen1  yue4  miao3  zhou1  nian2 

Constrains relations

ri4 han2 shu4  xiao3 shi2 han2 shu4  ri4 qi1 

Related WordNet synsets

day
the recurring hours established by contract or usage for work; "it was a busy day on the stock exchange"
day is kind of (all)...   day is kind of...   kinds of day...   kinds of day (all)...  
day, twenty-four hours, solar day, mean solar day
time for Earth to make a complete rotation on its axis; "two days later they left"; "they put on two performances every day"; "there are 30,000 passangers per day"
day is kind of (all)...   day is kind of...   kinds of day...   kinds of day (all)...   parts of day...  
calendar day, civil day
a day reckoned from midnight to midnight
calendar day is kind of (all)...   calendar day is kind of...   kinds of calendar day...   kinds of calendar day (all)...   calendar day is part of...  
See more related synsets on a separate page.

Axioms (6)

ri4 na4 bu4 xiang1 guan1 yu1 ri4 han2 shu4. 
(relatedInternalConcept Day DayFn)
ri4 na4 bu4 xiang1 guan1 yu1 ri4 ji4. 
(relatedInternalConcept Day DayDuration)
If day shi4 ri4 de5 shi2 li4, then day de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (instance ?DAY Day)
      (duration
            ?DAY
            (MeasureFn 1 DayDuration)))
If month shi4 yue4 de5 shi2 li4 and month de5 chi2 xu4 shi4 "number ri4 ji4(s)", then ""month fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 number. 
(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))
If week shi4 zhou1 de5 shi2 li4, then ""week fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 . 
(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))
If day shi4 ri4 de5 shi2 li4, then ""day fen1 jie3 cheng2 ? xiao3 shi2s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 . 
(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))