Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

November (November)

The Class of all Months which are November.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Eigenschaft  
is subclass of
  körperliche Quantität  
is subclass of
  konstante Quantität  
is subclass of
  Zeitmass  
is subclass of
  Zeitposition  
is subclass of
  Zeitabstand  
is subclass of
  Monat  
is subclass of
  November  

Coordinate term(s)

April  August  Dezember  Februar  Januar  Juli  Juni  März  Mai  Oktober  September 

Related WordNet synsets

November, Nov
the month following October and preceding December
November is kind of (all)...   November is kind of...   November is part of...   parts of November...  

Axioms (3)

Wenn month1 ist gleich "der monat Oktober" und month2 ist gleich "der monat November" , dann month1 schliesst month2 zeitlich an. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn October ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn November ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
Wenn month ist ein fall von November , dann dauer von month ist " day duration(s)" . 
(=>
      (instance ?MONTH November)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
Wenn month1 ist gleich "der monat November" und month2 ist gleich "der monat Dezember" , dann month1 schliesst month2 zeitlich an. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn November ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn December ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))