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

Mai (May)

The Class of all Months which are May.

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
  Mai  

Coordinate term(s)

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

Related WordNet synsets

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

Axioms (3)

Wenn month1 ist gleich "der monat April" und month2 ist gleich "der monat Mai" , dann month1 schliesst month2 zeitlich an. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn April ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn May ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
Wenn month ist ein fall von Mai , dann dauer von month ist " day duration(s)" . 
(=>
      (instance ?MONTH May)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
Wenn month1 ist gleich "der monat Mai" und month2 ist gleich "der monat Juni" , dann month1 schliesst month2 zeitlich an. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn May ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn June ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))