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

říjen (October)

The Class of all Months which are October.

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
  měsíc  
is subclass of
  říjen  

Související termín(y)

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

Related WordNet synsets

October, Oct
the month following September and preceding November
October is kind of (all)...   October is kind of...   October is part of...   parts of October...  

Axiomy (3)

Jestliže month1 se rovná "září of year" a month2 se rovná "říjen of year", potom month1 meets month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn September ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn October ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
Jestliže month je instancí třídy říjen, potom duration of month je " day duration(s)". 
(=>
      (instance ?MONTH October)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
Jestliže month1 se rovná "říjen of year" a month2 se rovná "listopad of year", potom month1 meets month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn October ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn November ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))