Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

month (Month)

The Class of all calendar Months.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  time measure  
is subclass of
  time position  
is subclass of
  time interval  
is subclass of
  month  

Subclass(es)

january  february  march  april  may  june  july  august  september  october  november  december 

Coordinate term(s)

day  hour  minute  second  week  year 

Constrains relations

day fn  month fn 

Related WordNet synsets

calendar month, month
one of the twelve divisions of the calendar year; "he paid the bill last month"
calendar month is kind of (all)...   calendar month is kind of...   kinds of calendar month...   kinds of calendar month (all)...   parts of calendar month...  
See more related synsets on a separate page.

Axioms (3)

month is internally related to month fn. 
(relatedInternalConcept Month MonthFn)
If year is an instance of year, then "the number of instances in "decomposition of year into ? months"" is equal to . 
(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))
If month is an instance of month and duration of month is "number day duration(s)", then "the number of instances in "decomposition of month into ? days"" is equal to number. 
(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))