Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

july (July)

The Class of all Months which are July.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  time measure  
is subclass of
  time position  
is subclass of
  time interval  
is subclass of
  month  
is subclass of
  july  

Coordinate term(s)

april  august  december  february  january  june  march  may  november  october  september 

Related WordNet synsets

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

Axioms (3)

If month1 is equal to "the month june" and month2 is equal to "the month july", then month1 meets month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn June ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn July ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month is an instance of july, then duration of month is " day duration(s)". 
(=>
      (instance ?MONTH July)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month1 is equal to "the month july" and month2 is equal to "the month august", then month1 meets month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn July ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn August ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))