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

mahInaa (Month)

The Class of all calendar Months.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  bhOtika parimaaNa  
is subclass of
  sthira parimaaNa  
is subclass of
  samaya maapa  
is subclass of
  samaya sthiti  
is subclass of
  samaya aMtaraala  
is subclass of
  mahInaa  

Subclass(es)

janavarI  pharavarI  maarcha  aprEla  maI  jUna  julAI  agasta  sitambara  aktUbara  navambara  disambara 

Coordinate term(s)

divasa  ghantaa  minata  sekanda  saptaaha  varsha 

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)

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