Monat (Month)
The Class of all calendar Months.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Subclass(es)
Januar
Februar
März
April
Mai
Juni
Juli
August
September
Oktober
November
Dezember
Coordinate term(s)
Tag
Stunde
Minute
Sekunde
Woche
Jahr
Constrains relations
TagFn
MonatFn
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)
Monat ist innerlich verwandt mit MonatFn .
(relatedInternalConcept Month MonthFn)
Wenn year ist ein fall von Jahr , dann "die Zahl Fällen in "Aufspaltung von year auf ? Monats"" ist gleich .
(=>
(instance ?YEAR Year)
(equal
(CardinalityFn
(TemporalCompositionFn ?YEAR Month))
12))
Wenn month ist ein fall von Monat und dauer von month ist "number day duration(s)" , dann "die Zahl Fällen in "Aufspaltung von month auf ? Tags"" ist gleich number .
(=>
(and
(instance ?MONTH Month)
(duration
?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day))
?NUMBER))