shanivaara (Saturday)
The Class of all calendar Saturdays.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
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
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))