Class DAY-NUMBER

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp
• Also defined in: Bibliographic-data

Slots on this class:

Documentation:

DAY-NUMBER denotes a day of a month.

Instance-Of: Class, Integer-range

Range-Of: Time-point.day

Axioms:

(= (I-Upper-Bound Day-Number) 31)

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

Other Related Axioms:

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