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

四月 (April)

The Class of all Months which are April.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  
is subclass of
  時間單位  
is subclass of
  時間  
is subclass of
  時段  
is subclass of
    
is subclass of
  四月  

Coordinate term(s)

八月  十二月  二月  一月  七月  六月  三月  五月  十一月  十月  九月 

Related WordNet synsets

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

Axioms (3)

If month1 等於 "月份 三月" and month2 等於 "月份 四月", then month1 (沒) 相接s month2.
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn March ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn April ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))

If month四月實例, then month持續 是 " 日計(s)".
(=>
      (instance ?MONTH April)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))

If month1 等於 "月份 四月" and month2 等於 "月份 五月", then month1 (沒) 相接s month2.
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn April ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn May ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))