jUna (June)
The Class of all Months which are June.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
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
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))