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

秥 (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]
龟砰
is subclass of
  ┾禜  
is subclass of
  计秖  
is subclass of
  瞶秖  
is subclass of
  盽秖  
is subclass of
  丁虫  
is subclass of
  丁  
is subclass of
  琿  
is subclass of
    
is subclass of
  秥  

Axioms (3)

If leap 琌 秥龟ㄒ and leap 单 "number (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 "る る" 单 month and year 琌 秥龟ㄒ, then month尿 琌 " ら璸(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
If "る る" 单 month and year 琌 秥龟ㄒ, then month尿 琌 " ら璸(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))