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

AnnoBisestile (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]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  QuantitáFisica  
is subclass of
  QuantitáCostante  
is subclass of
  MisuraTemporale  
is subclass of
  PosizioneTemporale  
is subclass of
  IntervalloTemporale  
is subclass of
  Anno  
is subclass of
  AnnoBisestile  

Axioms (3)

Se leap é un' istanza di AnnoBisestile e leap is uguale a "number Anno(s", allora 
(=>
      (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)))
Se "il mese Febbraio" is uguale a month e year é not un' istanza di AnnoBisestile, allora durata di month é " day duration(s". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
Se "il mese Febbraio" is uguale a month e year é un' istanza di AnnoBisestile, allora durata di month é " day duration(s". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))