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

xing1 qi1 liu4 (Saturday)

The Class of all calendar Saturdays.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  shu4 liang4  
is subclass of
  wu4 li3 liang4  
is subclass of
  chang2 liang4  
is subclass of
  shi2 jian1 dan1 wei4  
is subclass of
  shi2 jian1  
is subclass of
  shi2 duan4  
is subclass of
  ri4  
is subclass of
  xing1 qi1 liu4  

Coordinate term(s)

xing1 qi1 wu3  xing1 qi1 yi1  xing1 qi1 ri4  xing1 qi1 si4  xing1 qi1 er4  xing1 qi1 san1 

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)

If day1 shi4 xing1 qi1 wu3 de5 shi2 li4 and day2 shi4 xing1 qi1 liu4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 liu4 de5 shi2 li4 and day2 shi4 xing1 qi1 ri4 de5 shi2 li4 and week shi4 zhou1 de5 shi2 li4 and day1 shi4 week de5 bu4 fen5 and day2 shi4 week de5 bu4 fen5, then day1 (mei2) xiang1 jie1s day2. 
(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))