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

十二月 (December)

The Class of all Months which are December.

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

See more related synsets on a separate page.

Axioms (3)

If month1 等於 "月份 十一月" and month2 等於 "月份 十二月", then month1 (沒) 相接s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn November ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn December ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month 是 十二月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH December)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month1 等於 "月份 十二月" and month2 等於 "月份 一月" and year1 (沒) 相接s year2, then month1 (沒) 相接s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn December ?YEAR1))
            (equal
                  ?MONTH2
                  (MonthFn January ?YEAR2))
            (meetsTemporally ?YEAR1 ?YEAR2))
      (meetsTemporally ?MONTH1 ?MONTH2))