Class MONTH-NAME

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

Slots on this class:

Documentation:

MONTH-NAME denotes a name of a month of a year.

Instance-Of: Class

All-Instances: {

April, August, December, February, January, July, June, March, May, November, October, September}

Has-Instance:

April, August, December, February, January, July, June, March, May, November, October, September

Range-Of: Time-point.month-name

Other Related Axioms:

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