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

adhivarsha (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]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  bhOtika parimaaNa  
is subclass of
  sthira parimaaNa  
is subclass of
  samaya maapa  
is subclass of
  samaya sthiti  
is subclass of
  samaya aMtaraala  
is subclass of
  varsha  
is subclass of
  adhivarsha  

Axioms (3)

Agar leap is an instance of adhivarsha aur leap is equal to "number varsha(s)", to 
(=>
      (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)))
Agar "the month pharavarI" is equal to month aur year is not an instance of adhivarsha, to duration of month is " day duration(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
Agar "the month pharavarI" is equal to month aur year is an instance of adhivarsha, to duration of month is " day duration(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))