Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

rok (Year)

The Class of all calendar Years.

Ontologie

SUMO / TEMPORAL-CONCEPTS

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  fyzikální veličina  
is subclass of
  konstantní veličina  
is subclass of
  časová míra  
is subclass of
  časová pozice  
is subclass of
  časový interval  
is subclass of
  rok  

Podtřída(y)

přestupný rok 

Související termín(y)

den  hodina  minuta  měsíc  vteřina  týren 

Constrains relations

month fn  year fn 

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.

Axiomy (6)

rok je internally related to year fn. 
(relatedInternalConcept Year YearFn)
rok je internally related to year duration. 
(relatedInternalConcept Year YearDuration)
Jestliže year je instancí třídy rok, potom duration of year je " year duration(s)". 
(=>
      (instance ?YEAR Year)
      (duration
            ?YEAR
            (MeasureFn 1 YearDuration)))
Jestliže year1 je instancí třídy rok a year2 je instancí třídy rok a "(year2-year1)" se rovná , potom year1 meets year2. 
(=>
      (and
            (instance ?YEAR1 Year)
            (instance ?YEAR2 Year)
            (equal
                  (SubtractionFn ?YEAR2 ?YEAR1)
                  1))
      (meetsTemporally ?YEAR1 ?YEAR2))
Jestliže leap je instancí třídy přestupný rok a leap se rovná "number rok(s)", potom 
(=>
      (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)))
Jestliže year je instancí třídy rok, potom "cardinality fn(decomposition of year into ? měsícs)" se rovná . 
(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))