květen (May)

The Class of all Months which are May.

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

květen

Související termín(y)

duben srpen prosinec únor leden červenec červen březen listopad říjen září

Related WordNet synsets

May: the month following April and preceding June

Axiomy (3)

Jestliže month1 se rovná "duben of year" a month2 se rovná "květen of year", potom month1 meets month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn April ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn May ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

Jestliže month je instancí třídy květen, potom duration of month je " day duration(s)".

(=>
      (instance ?MONTH May)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

Jestliže month1 se rovná "květen of year" a month2 se rovná "červen of year", potom month1 meets month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn May ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn June ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))