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

一月 (January)

The Class of all Months which are January.

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

January, Jan
the first month of the year; begins 10 days after the winter solstice
January is kind of (all)...   January is kind of...   January is part of...   parts of January...  

Axioms (3)

If month 是 一月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH January)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month1 等於 "月份 一月" and month2 等於 "月份 二月", then month1 (沒) 相接s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn January ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn February ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
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))