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