jiu3 yue4 (September)
The Class of all Months which are September.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
si4 yue4
ba1 yue4
shi2 er4 yue4
er4 yue4
yi1 yue4
qi1 yue4
liu4 yue4
san1 yue4
wu3 yue4
shi2 yi1 yue4
shi2 yue4
Related WordNet synsets
- September, Sep, Sept
- the month following August and preceding October
Axioms (3)
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 month shi4 jiu3 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH September)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
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))