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

run4 nian2 (LeapYear)

The Class of all leap years. These are years which are either (i.) evenly divisible by 4 and not by 100 or (ii.) evenly divisible by 400 (this latter case is known as a leap century).

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
  nian2  
is subclass of
  run4 nian2  

Axioms (3)

If leap shi4 run4 nian2 de5 shi2 li4 and leap deng3 yu1 "number nian2(s)", then 
(=>
      (and
            (instance ?LEAP LeapYear)
            (equal
                  ?LEAP
                  (MeasureFn ?NUMBER Year)))
      (or
            (and
                  (equal
                        (RemainderFn ?NUMBER 4)
                        0)
                  (not
                        (equal
                              (RemainderFn ?NUMBER 100)
                              0)))
            (equal
                  (RemainderFn ?NUMBER 400)
                  0)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))