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

středa (Wednesday)

The Class of all calendar Wednesdays.

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
  den  
is subclass of
  středa  

Související termín(y)

pátek  pondělí  sobota  neděle  čtvrtek  úterý 

Related WordNet synsets

Wednesday, Wed
the fourth day of the week; the third working day
Wednesday is kind of (all)...   Wednesday is kind of...  

Axiomy (2)

Jestliže day1 je instancí třídy úterý a day2 je instancí třídy středa a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
Jestliže day1 je instancí třídy středa a day2 je instancí třídy čtvrtek a week je instancí třídy týren a day1 je a part of week a day2 je a part of week, potom day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))