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

xing1 qi1 san1 (Wednesday)

The Class of all calendar Wednesdays.

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 san1  

Coordinate term(s)

xing1 qi1 wu3  xing1 qi1 yi1  xing1 qi1 liu4  xing1 qi1 ri4  xing1 qi1 si4  xing1 qi1 er4 

Related WordNet synsets

Wednesday, Wed
the fourth day of the week; the third working day
Wednesday is kind of (all)...   Wednesday is kind of...  

Axioms (2)

If day1 shi4 xing1 qi1 er4 de5 shi2 li4 and day2 shi4 xing1 qi1 san1 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 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))
If day1 shi4 xing1 qi1 san1 de5 shi2 li4 and day2 shi4 xing1 qi1 si4 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 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))