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

er4 yue4 (February)

The Class of all Months which are February.

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
  yue4  
is subclass of
  er4 yue4  

Coordinate term(s)

si4 yue4  ba1 yue4  shi2 er4 yue4  yi1 yue4  qi1 yue4  liu4 yue4  san1 yue4  wu3 yue4  shi2 yi1 yue4  shi2 yue4  jiu3 yue4 

Related WordNet synsets

February, Feb
the month following January and preceding March
February is kind of (all)...   February is kind of...   February is part of...   parts of February...  

Axioms (4)

If month1 deng3 yu1 "yue4 fen4 yi1 yue4" and month2 deng3 yu1 "yue4 fen4 er4 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn January ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn February ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))
If month1 deng3 yu1 "yue4 fen4 er4 yue4" and month2 deng3 yu1 "yue4 fen4 san1 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn February ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn March ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))