srpen (August)

The Class of all Months which are August.

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

srpen

Související termín(y)

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

Related WordNet synsets

August, Aug: the month following July and preceding September

Axiomy (3)

Jestliže month1 se rovná "červenec of year" a month2 se rovná "srpen of year", potom month1 meets month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn July ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn August ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

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

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

Jestliže month1 se rovná "srpen of year" a month2 se rovná "září of year", potom month1 meets month2.

(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn August ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn September ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))