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

shanivaara (Saturday)

The Class of all calendar Saturdays.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  bhOtika parimaaNa  
is subclass of
  sthira parimaaNa  
is subclass of
  samaya maapa  
is subclass of
  samaya sthiti  
is subclass of
  samaya aMtaraala  
is subclass of
  divasa  
is subclass of
  shanivaara  

Coordinate term(s)

shukravaara  somavaara  ravivaara  bQhaspativaara  mangalavaara  budhavaara 

Related WordNet synsets

Saturday, Sat
the seventh and last day of the week; the Jewish Sabbath
Saturday is kind of (all)...   Saturday is kind of...   Saturday is part of...  
See more related synsets on a separate page.

Axioms (2)

Agar day1 is an instance of shukravaara aur day2 is an instance of shanivaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Agar day1 is an instance of shanivaara aur day2 is an instance of ravivaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.
(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))