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

# month fn (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)

 class

inheritable relation

temporal relation
 class

inheritable relation

binary function

month fn

## Coordinate term(s)

addition fn  begin fn  day fn  density fn  division fn  edition fn  end fn  exponentiation fn  future fn  graph path fn  hour fn  immediate future fn  immediate past fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  multiplication fn  past fn  periodical issue fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  when fn  where fn  year fn  before  before or equal  cooccur  earlier  finishes  meets temporally  overlaps temporally  temporally between  temporally between or equal  time

## Type restrictions

subclass month MonthFn(subclass month, subclass year)

## Axioms (15)

month is internally related to month fn.
`(relatedInternalConcept Month MonthFn)`

If month1 is equal to "the month january" and month2 is equal to "the month february", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn January ?YEAR))
(equal
?MONTH2
(MonthFn February ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If "the month february" is equal to month and year is not an instance of leap year, then duration of month is " day duration(s)".
```(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(not
(instance ?YEAR LeapYear)))
(duration
?MONTH
(MeasureFn 28 DayDuration)))```

If "the month february" is equal to month and year is an instance of leap year, then duration of month is " day duration(s)".
```(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(instance ?YEAR LeapYear))
(duration
?MONTH
(MeasureFn 29 DayDuration)))```

If month1 is equal to "the month february" and month2 is equal to "the month march", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn February ?YEAR))
(equal
?MONTH2
(MonthFn March ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If month1 is equal to "the month march" and month2 is equal to "the month april", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn March ?YEAR))
(equal
?MONTH2
(MonthFn April ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If month1 is equal to "the month april" and month2 is equal to "the month may", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn April ?YEAR))
(equal
?MONTH2
(MonthFn May ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If month1 is equal to "the month may" and month2 is equal to "the month june", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn May ?YEAR))
(equal
?MONTH2
(MonthFn June ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

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 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))```

If month1 is equal to "the month august" and month2 is equal to "the month september", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn August ?YEAR))
(equal
?MONTH2
(MonthFn September ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If month1 is equal to "the month september" and month2 is equal to "the month october", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn September ?YEAR))
(equal
?MONTH2
(MonthFn October ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If month1 is equal to "the month october" and month2 is equal to "the month november", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn October ?YEAR))
(equal
?MONTH2
(MonthFn November ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If month1 is equal to "the month november" and month2 is equal to "the month december", then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn November ?YEAR))
(equal
?MONTH2
(MonthFn December ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

If month1 is equal to "the month december" and month2 is equal to "the month january" and year1 meets year2, then month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn December ?YEAR1))
(equal
?MONTH2
(MonthFn January ?YEAR2))
(meetsTemporally ?YEAR1 ?YEAR2))
(meetsTemporally ?MONTH1 ?MONTH2))```