Sabato (Saturday)
The Class of all calendar Saturdays.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
Venerdí
Lunedí
Domenica
Giovedí
Martedí
Mercoledí
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)
Se day1 é un' istanza di Venerdí e day2 é un' istanza di Sabato e week é un' istanza di Settimana e day1 é una parte diweek e day2 é una parte diweek, allora day1 incontras day2.
(=>
(and
(instance ?DAY1 Friday)
(instance ?DAY2 Saturday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
Se day1 é un' istanza di Sabato e day2 é un' istanza di Domenica e week é un' istanza di Settimana e day1 é una parte diweek e day2 é una parte diweek, allora day1 incontras day2.
(=>
(and
(instance ?DAY1 Saturday)
(instance ?DAY2 Sunday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))