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

yue4 fen4 han2 shu4 (MonthFn)

A BinaryFunction that maps a subclass of Month and a subclass of Year to the class containing the Months corresponding to thos Years. For example (MonthFn January (YearFn 1912)) is the class containing the eighth Month, i.e. August, of the Year 1912. For another example, (MonthFn August Year) is equal to August, the class of all months of August. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  shi2 jian1 guan1 xi4  
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  er4 yuan2 han2 shu4  
is instance of
is instance of
  yue4 fen4 han2 shu4  

Coordinate term(s)

jia1 fa3 han2 shu4  shi2 jian1 kai1 shi3 han2 shu4  ri4 han2 shu4  mi4 du4 han2 shu4  chu2 fa3 han2 shu4  wen2 ben3 ban3 ben3 han2 shu4  shi2 jian1 jie2 shu4 han2 shi4  zhi3 shu4 han2 shu4  shi2 jian1 wei4 lai2 han2 shi4  tu2 lu4 jing4 han2 shu4  xiao3 shi2 han2 shu4  zui4 jin4 wei4 lai2 shi2 jian1 han2 shu4  zui4 jin4 guo4 qu4 shi2 jian1 han2 shu4  jiao1 ji2 han2 shu4  jian1 ge2 han2 shu4  zhong3 lei4 miao2 shu4 han2 shu4  lie4 jie2 han2 shu4  lie4 xu4 han2 shu4  dui4 shu4 han2 shu4  zui4 da4 zhi2 han2 shu4  zui4 da4 liang4 lu4 jing4 han2 shu4  ce4 liang4 han2 shu4  bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4  bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4  bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4  zui4 xiao3 zhi2 han2 shu4  zui4 xiao3 liang4 lu4 jing4 han2 shu4  fen1 zhong1 han2 shu4  cheng2 fa3 han2 shu4  guo4 qu4 shi2 jian1 han2 shi4  qi1 kan1 yi1 qi1 han2 shu4  zhou1 qi1 xing4 shi2 ju4 han2 shu4  guan1 xi4 hu4 bu3 han2 shu4  xiang4 dui4 shi2 jian1 han2 shu4  yu2 shu4 han2 shu4  miao3 zhong1 han2 shu4  xi4 lie4 yi1 juan4 han2 shu4  su4 du4 han2 shu4  jian3 fa3 han2 shu4  shi2 jian1 dan1 wei4 han2 shu4  shi2 jian1 li4 cheng2 han2 shu4  lian2 ji2 han2 shu4  cun2 zai4 shi2 jian1 han2 shu4  wei4 zhi4 han2 shu4  nian2 fen4 han2 shu4  xian1 yu1  xian1 yu1 huo4 tong5 shi2  gong4 sheng1  jiao4 zao3  wan2 cheng2  shi2 duan4 xiang1 jie1  shi2 duan4 zhong4 die2  shi2 jian1 jie4 yu1  shi2 jian1 jie4 yu1 huo4 tong5 shi2  shi2 jian1 

Type restrictions

subclass yue4 MonthFn(subclass yue4, subclass nian2)

Axioms (15)

yue4 na4 bu4 xiang1 guan1 yu1 yue4 fen4 han2 shu4. 
(relatedInternalConcept Month MonthFn)
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))
If month1 deng3 yu1 "yue4 fen4 san1 yue4" and month2 deng3 yu1 "yue4 fen4 si4 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn March ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn April ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 si4 yue4" and month2 deng3 yu1 "yue4 fen4 wu3 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn April ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn May ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 wu3 yue4" and month2 deng3 yu1 "yue4 fen4 liu4 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn May ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn June ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 liu4 yue4" and month2 deng3 yu1 "yue4 fen4 qi1 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn June ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn July ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 qi1 yue4" and month2 deng3 yu1 "yue4 fen4 ba1 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn July ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn August ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 ba1 yue4" and month2 deng3 yu1 "yue4 fen4 jiu3 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn August ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn September ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 jiu3 yue4" and month2 deng3 yu1 "yue4 fen4 shi2 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn September ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn October ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 shi2 yue4" and month2 deng3 yu1 "yue4 fen4 shi2 yi1 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn October ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn November ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 shi2 yi1 yue4" and month2 deng3 yu1 "yue4 fen4 shi2 er4 yue4", then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn November ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn December ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 deng3 yu1 "yue4 fen4 shi2 er4 yue4" and month2 deng3 yu1 "yue4 fen4 yi1 yue4" and year1 (mei2) xiang1 jie1s year2, then month1 (mei2) xiang1 jie1s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn December ?YEAR1))
            (equal
                  ?MONTH2
                  (MonthFn January ?YEAR2))
            (meetsTemporally ?YEAR1 ?YEAR2))
      (meetsTemporally ?MONTH1 ?MONTH2))