march (March)
The Class of all Months which are March.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
april
august
december
february
january
july
june
may
november
october
september
Related WordNet synsets
- March, Mar
- the month following February and preceding April
Axioms (3)
If month1 is equal to "the month february" and month2 is equal to "the month march", then month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn February ?YEAR))
(equal
?MONTH2
(MonthFn March ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
If month is an instance of march, then duration of month is " day duration(s)".
(=>
(instance ?MONTH March)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month1 is equal to "the month march" and month2 is equal to "the month april", then month1 meets month2.
(=>
(and
(equal
?MONTH1
(MonthFn March ?YEAR))
(equal
?MONTH2
(MonthFn April ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))