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

čtvrtek (Thursday)

The Class of all calendar Thursdays.

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
  čtvrtek  

Související termín(y)

pátek  pondělí  sobota  neděle  úterý  středa 

Related WordNet synsets

Thursday, Th
the fifth day of the week; the fourth working day
Thursday is kind of (all)...   Thursday is kind of...  
See more related synsets on a separate page.

Axiomy (2)

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))
Jestliže day1 je instancí třídy čtvrtek a day2 je instancí třídy pátek 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 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))