Class MONTH-NUMBER


Slots on this class:

Documentation:
MONTH-NUMBER deontes a month of a year.
Instance-Of: Class, Integer-range
Range-Of: Time-point.month

Axioms:

(= (I-Upper-Bound Month-Number) 12)

(= (I-Lower-Bound Month-Number) 1)


Other Related Axioms:

(=> (Time-Point.Month $X $Y) (Month-Number $Y))