únor (February)

The Class of all Months which are February.

Ontologie

SUMO / TEMPORAL-CONCEPTS

Nadtřída(y)

entita

abstraktum

veličina

fyzikální veličina

konstantní veličina

časová míra

časová pozice

časový interval

měsíc

únor

Související termín(y)

duben srpen prosinec leden červenec červen březen květen listopad říjen září

Related WordNet synsets

February, Feb: the month following January and preceding March

Axiomy (4)

Jestliže month1 se rovná "leden of year" a month2 se rovná "únor of year", potom month1 meets month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn January ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn February ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

Jestliže "únor of year" se rovná month a year není instancí třídy přestupný rok, potom duration of month je " day duration(s)".

(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))

Jestliže "únor of year" se rovná month a year je instancí třídy přestupný rok, potom duration of month je " day duration(s)".

(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))

Jestliže month1 se rovná "únor of year" a month2 se rovná "březen of year", potom month1 meets month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn February ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn March ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))