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)

 varga

inheritable relation

saamayika sambandha
 varga

inheritable relation

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 mahInaa MonthFn(subclass mahInaa, subclass varsha)

## Axioms (15)

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

Agar month1 is equal to "the month janavarI" aur month2 is equal to "the month pharavarI", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn January ?YEAR))
(equal
?MONTH2
(MonthFn February ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar "the month pharavarI" is equal to month aur year is not an instance of adhivarsha, to duration of month is " day duration(s)".
```(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(not
(instance ?YEAR LeapYear)))
(duration
?MONTH
(MeasureFn 28 DayDuration)))```

Agar "the month pharavarI" is equal to month aur year is an instance of adhivarsha, to duration of month is " day duration(s)".
```(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(instance ?YEAR LeapYear))
(duration
?MONTH
(MeasureFn 29 DayDuration)))```

Agar month1 is equal to "the month pharavarI" aur month2 is equal to "the month maarcha", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn February ?YEAR))
(equal
?MONTH2
(MonthFn March ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month maarcha" aur month2 is equal to "the month aprEla", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn March ?YEAR))
(equal
?MONTH2
(MonthFn April ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month aprEla" aur month2 is equal to "the month maI", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn April ?YEAR))
(equal
?MONTH2
(MonthFn May ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month maI" aur month2 is equal to "the month jUna", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn May ?YEAR))
(equal
?MONTH2
(MonthFn June ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month jUna" aur month2 is equal to "the month julAI", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn June ?YEAR))
(equal
?MONTH2
(MonthFn July ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month julAI" aur month2 is equal to "the month agasta", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn July ?YEAR))
(equal
?MONTH2
(MonthFn August ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month agasta" aur month2 is equal to "the month sitambara", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn August ?YEAR))
(equal
?MONTH2
(MonthFn September ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month sitambara" aur month2 is equal to "the month aktUbara", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn September ?YEAR))
(equal
?MONTH2
(MonthFn October ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month aktUbara" aur month2 is equal to "the month navambara", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn October ?YEAR))
(equal
?MONTH2
(MonthFn November ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month navambara" aur month2 is equal to "the month disambara", to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn November ?YEAR))
(equal
?MONTH2
(MonthFn December ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2))```

Agar month1 is equal to "the month disambara" aur month2 is equal to "the month janavarI" aur year1 meets year2, to month1 meets month2.
```(=>
(and
(equal
?MONTH1
(MonthFn December ?YEAR1))
(equal
?MONTH2
(MonthFn January ?YEAR2))
(meetsTemporally ?YEAR1 ?YEAR2))
(meetsTemporally ?MONTH1 ?MONTH2))```