yue4 (Month)
The Class of all calendar Months.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Subclass(es)
yi1 yue4
er4 yue4
san1 yue4
si4 yue4
wu3 yue4
liu4 yue4
qi1 yue4
ba1 yue4
jiu3 yue4
shi2 yue4
shi2 yi1 yue4
shi2 er4 yue4
Coordinate term(s)
ri4
xiao3 shi2
fen1
miao3
zhou1
nian2
Constrains relations
ri4 han2 shu4
yue4 fen4 han2 shu4
Related WordNet synsets
- calendar month, month
- one of the twelve divisions of the calendar year; "he paid the bill last month"
See more related synsets on a separate page.
Axioms (3)
yue4 na4 bu4 xiang1 guan1 yu1 yue4 fen4 han2 shu4.
(relatedInternalConcept Month MonthFn)
If year shi4 nian2 de5 shi2 li4, then ""year fen1 jie3 cheng2 ? yue4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .
(=>
(instance ?YEAR Year)
(equal
(CardinalityFn
(TemporalCompositionFn ?YEAR Month))
12))
If month shi4 yue4 de5 shi2 li4 and month de5 chi2 xu4 shi4 "number ri4 ji4(s)", then ""month fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 number.
(=>
(and
(instance ?MONTH Month)
(duration
?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day))
?NUMBER))