Jahr (Year)

calendar year, civil year: the year (reckoned from January 1 to December 31) according to Gregorian calendar
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

See more related synsets on a separate page.

Axioms (6)

Jahr ist innerlich verwandt mit JahrFn .

(relatedInternalConcept Year YearFn)

Jahr ist innerlich verwandt mit year duration .

(relatedInternalConcept Year YearDuration)

Wenn year ist ein fall von Jahr , dann dauer von year ist " year duration(s)" .

(=>
      (instance ?YEAR Year)
      (duration
            ?YEAR
            (MeasureFn 1 YearDuration)))

Wenn year1 ist ein fall von Jahr und year2 ist ein fall von Jahr und "(year2-year1)" ist gleich , dann year1 schliesst year2 zeitlich an.

(=>
      (and
            (instance ?YEAR1 Year)
            (instance ?YEAR2 Year)
            (equal
                  (SubtractionFn ?YEAR2 ?YEAR1)
                  1))
      (meetsTemporally ?YEAR1 ?YEAR2))

Wenn leap ist ein fall von Schaltjahr und leap ist gleich "number Jahr(s)" , dann

"number betrag " ist gleich und "number betrag " ist gleich nicht
"number betrag " ist gleich

(=>
      (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)))

Wenn year ist ein fall von Jahr , dann "die Zahl Fällen in "Aufspaltung von year auf ? Monats"" ist gleich .

(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))