Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

thursday (Thursday)

The Class of all calendar Thursdays.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  time measure  
is subclass of
  time position  
is subclass of
  time interval  
is subclass of
  day  
is subclass of
  thursday  

Coordinate term(s)

friday  monday  saturday  sunday  tuesday  wednesday 

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.

Axioms (2)

If day1 is an instance of wednesday and day2 is an instance of thursday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 is an instance of thursday and day2 is an instance of friday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))