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

Dezember (December)

The Class of all Months which are December.

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
  Dezember  

Coordinate term(s)

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

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

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))
Wenn month ist ein fall von Dezember , dann dauer von month ist " day duration(s)" . 
(=>
      (instance ?MONTH December)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
Wenn month1 ist gleich "der monat Dezember" und month2 ist gleich "der monat Januar" und year1 schliesst year2 zeitlich an, dann month1 schliesst month2 zeitlich an. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn December ?YEAR1))
            (equal
                  ?MONTH2
                  (MonthFn January ?YEAR2))
            (meetsTemporally ?YEAR1 ?YEAR2))
      (meetsTemporally ?MONTH1 ?MONTH2))