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

るㄧ计 (MonthFn)

A BinaryFunction that maps a subclass of Month and a subclass of Year to the class containing the Months corresponding to thos Years. For example (MonthFn January (YearFn 1912)) is the class containing the eighth Month, i.e. August, of the Year 1912. For another example, (MonthFn August Year) is equal to August, the class of all months of August. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  丁闽玒  
is instance of
贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
is instance of
  るㄧ计  

Coordinate term(s)

猭ㄧ计  丁秨﹍ㄧ计  らㄧ计  盞ㄧ计  埃猭ㄧ计  ゅセセㄧ计  丁挡ㄧΑ  计ㄧ计  丁ゼㄓㄧΑ  瓜隔畖ㄧ计  ㄧ计  程ゼㄓ丁ㄧ计  程筁丁ㄧ计  ユ栋ㄧ计  丁筳ㄧ计  贺摸磞瓃ㄧ计  挡ㄧ计  ㄧ计  癸计ㄧ计  程ㄧ计  程秖隔畖ㄧ计  代秖ㄧ计  场だ俱砰畉钵ㄧ计  场だ俱砰ユ栋ㄧ计  场だ俱砰羆ㄧ计  程ㄧ计  程秖隔畖ㄧ计  だ牧ㄧ计  猭ㄧ计  筁丁ㄧΑ  戳戳ㄧ计  秅戳┦禯ㄧ计  闽玒が干ㄧ计  癸丁ㄧ计  緇计ㄧ计  牧ㄧ计  ╰ㄧ计  硉ㄧ计  搭猭ㄧ计  丁虫ㄧ计  丁菌祘ㄧ计  羛栋ㄧ计  丁ㄧ计  竚ㄧ计  ㄧ计    ┪  ネ  耕Ν  ЧΘ  琿钡  琿舼  丁ざ  丁ざ┪  丁 

Type restrictions

subclass る MonthFn(subclass る, subclass )

Axioms (15)

る ず场闽 るㄧ计. 
(relatedInternalConcept Month MonthFn)
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn January ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn February ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If "る る" 单 month and year 琌 秥龟ㄒ, then month尿 琌 " ら璸(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
If "る る" 单 month and year 琌 秥龟ㄒ, then month尿 琌 " ら璸(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn February ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn March ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn March ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn April ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る る" and month2 单 "る きる", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn April ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn May ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る きる" and month2 单 "る せる", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn May ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn June ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る せる" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn June ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn July ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn July ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn August ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn August ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn September ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn September ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn October ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn October ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn November ?YEAR)))
      (meetsTemporally ?MONTH1 ?MONTH2))
If month1 单 "る る" and month2 单 "る る", then month1 (⊿) 钡s month2. 
(=>
      (and
            (equal
                  ?MONTH1
                  (MonthFn November ?YEAR))
            (equal
                  ?MONTH2
                  (MonthFn December ?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))