星期日 (Sunday)
The Class of all calendar Sundays.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
星期五
星期一
星期六
星期四
星期二
星期三
Related WordNet synsets
- Sunday, Lord's Day, Sun
- first day of the week; observed as a day of rest and worship by most Christians
- dominical
- of or relating to Sunday as the Lord's Day
See more related synsets on a separate page.
Axioms (2)
If day1 是 星期六 的 實例 and day2 是 星期日 的 實例 and week 是 週 的 實例 and day1 是 week 的 部分 and day2 是 week 的 部分, then day1 (沒) 相接s day2.
(=>
(and
(instance ?DAY1 Saturday)
(instance ?DAY2 Sunday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))
If day1 是 星期日 的 實例 and day2 是 星期一 的 實例 and week1 是 週 的 實例 and week2 是 週 的 實例 and day1 是 week1 的 部分 and day2 是 week2 的 部分 and week1 (沒) 相接s week2, then day1 (沒) 相接s 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))