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

jUna (June)

The Class of all Months which are June.

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
  jUna  

Coordinate term(s)

aprEla  agasta  disambara  pharavarI  janavarI  julAI  maarcha  maI  navambara  aktUbara  sitambara 

Related WordNet synsets

June
the month following May and preceding July
June is kind of (all)...   June is kind of...   June is part of...   parts of June...  

Axioms (3)

Agar month1 is equal to "the month maI" aur month2 is equal to "the month jUna", to month1 meets month2.
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn May ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn June ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

Agar month is an instance of jUna, to duration of month is " day duration(s)".
(=>
      (instance ?MONTH June)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))

Agar month1 is equal to "the month jUna" aur month2 is equal to "the month julAI", to month1 meets month2.
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn June ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn July ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))