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

 (Year)

The Class of all calendar Years.

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
    

Subclass(es)

秥 

Coordinate term(s)

ら    だ  る    秅 

Constrains relations

るㄧ计  ㄧ计 

Related WordNet synsets

calendar year, civil year
the year (reckoned from January 1 to December 31) according to Gregorian calendar
calendar year is kind of (all)...   calendar year is kind of...   kinds of calendar year...   kinds of calendar year (all)...  
solar year, tropical year, astronomical year, equinoctial year
the time for the earth to make one revolution around the sun, measured between two vernal equinoxes
solar year is kind of (all)...   solar year is kind of...  
See more related synsets on a separate page.

Axioms (6)

ず场闽 ㄧ计. 
(relatedInternalConcept Year YearFn)
ず场闽 璸. 
(relatedInternalConcept Year YearDuration)
If year 琌 龟ㄒ, then year尿 琌 " 璸(s)". 
(=>
      (instance ?YEAR Year)
      (duration
            ?YEAR
            (MeasureFn 1 YearDuration)))
If year1 琌 龟ㄒ and year2 琌 龟ㄒ and "(year2-year1)" 单 , then year1 (⊿) 钡s year2. 
(=>
      (and
            (instance ?YEAR1 Year)
            (instance ?YEAR2 Year)
            (equal
                  (SubtractionFn ?YEAR2 ?YEAR1)
                  1))
      (meetsTemporally ?YEAR1 ?YEAR2))
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 year 琌 龟ㄒ, then ""year だ秆Θ ? るs" い 龟ㄒ  计ヘ" 单 . 
(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))