Class DAY-NAME

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp

Slots on this class:

Documentation:

DAY-NAME denotes a name of a day of a week.

Instance-Of: Class

All-Instances: {

Friday, Monday, Saturday, Sunday, Thursday, Tuesday, Wednesday}

Has-Instance:

Friday, Monday, Saturday, Sunday, Thursday, Tuesday, Wednesday

Range-Of: Time-point.day-name

Other Related Axioms:

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