Day-name FRIDAY

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

Slots on this day-name:

Instance-Of: Day-name

Other Related Axioms:

(All-Instances Day-Name
               (Setof Sunday
                      Monday
                      Tuesday
                      Wednesday
                      Thursday
                      Friday
                      Saturday))