červenec (July)

The Class of all Months which are July.

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

červenec

Související termín(y)

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

Related WordNet synsets

July: the month following June and preceding August

Axiomy (3)

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

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

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

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

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