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

sunday (Sunday)

The Class of all calendar Sundays.

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
  sunday  

Coordinate term(s)

friday  monday  saturday  thursday  tuesday  wednesday 

Related WordNet synsets

Sunday, Lord's Day, Sun
first day of the week; observed as a day of rest and worship by most Christians
Sunday is kind of (all)...   Sunday is kind of...   Sunday is part of...  
dominical
of or relating to Sunday as the Lord's Day
dominical pertains to noun...  
See more related synsets on a separate page.

Axioms (2)

If day1 is an instance of saturday and day2 is an instance of sunday 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 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 is an instance of sunday and day2 is an instance of monday and week1 is an instance of week and week2 is an instance of week and day1 is a part of week1 and day2 is a part of week2 and week1 meets week2, then day1 meets day2. 
(=>
      (and
            (instance ?DAY1 Sunday)
            (instance ?DAY2 Monday)
            (instance ?WEEK1 Week)
            (instance ?WEEK2 Week)
            (temporalPart ?DAY1 ?WEEK1)
            (temporalPart ?DAY2 ?WEEK2)
            (meetsTemporally ?WEEK1 ?WEEK2))
      (meetsTemporally ?DAY1 ?DAY2))