Novembre (November)
The Class of all Months which are November.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
Aprile
Agosto
Dicembre
Febbraio
Gennaio
Luglio
Giugno
Marzo
Maggio
Ottobre
Settembre
Related WordNet synsets
- November, Nov
- the month following October and preceding December
Axioms (3)
Se month1 is uguale a "il mese Ottobre" e month2 is uguale a "il mese Novembre", allora month1 incontras month2.
(=>
(and
(equal
?MONTH1
(MonthFn October ?YEAR))
(equal
?MONTH2
(MonthFn November ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))
Se month é un' istanza di Novembre, allora durata di month é " day duration(s".
(=>
(instance ?MONTH November)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
Se month1 is uguale a "il mese Novembre" e month2 is uguale a "il mese Dicembre", allora month1 incontras month2.
(=>
(and
(equal
?MONTH1
(MonthFn November ?YEAR))
(equal
?MONTH2
(MonthFn December ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))