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

tuesday (Tuesday)

The Class of all calendar Tuesdays.

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
  tuesday  

Coordinate term(s)

friday  monday  saturday  sunday  thursday  wednesday 

Related WordNet synsets

Tuesday, Tues
the third day of the week; the second working day
Tuesday is kind of (all)...   Tuesday is kind of...   kinds of Tuesday...   kinds of Tuesday (all)...  
See more related synsets on a separate page.

Axioms (2)

If day1 is an instance of monday and day2 is an instance of tuesday 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 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 is an instance of tuesday and day2 is an instance of wednesday 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 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))