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

August (August)

The Class of all Months which are August.

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
  August  

Coordinate term(s)

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

Related WordNet synsets

August, Aug
the month following July and preceding September
August is kind of (all)...   August is kind of...   August is part of...   parts of August...  

Axioms (3)

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