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

pharavarI (February)

The Class of all Months which are February.

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  
is subclass of
  pharavarI  

Coordinate term(s)

aprEla  agasta  disambara  janavarI  julAI  jUna  maarcha  maI  navambara  aktUbara  sitambara 

Related WordNet synsets

February, Feb
the month following January and preceding March
February is kind of (all)...   February is kind of...   February is part of...   parts of February...  

Axioms (4)

Agar month1 is equal to "the month janavarI" aur month2 is equal to "the month pharavarI", to month1 meets month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn January ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn February ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
Agar "the month pharavarI" is equal to month aur year is not an instance of adhivarsha, to duration of month is " day duration(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
Agar "the month pharavarI" is equal to month aur year is an instance of adhivarsha, to duration of month is " day duration(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))
Agar month1 is equal to "the month pharavarI" aur month2 is equal to "the month maarcha", to month1 meets month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn February ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn March ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))