Function TIME-POINT.DAY-NAME

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

Slots on this function:

Documentation:

TIME-POINT.DAY-NAME denotes a name of a day of a time point.

Instance-Of: Function

Arity: 2

Domain: Time-point

Range: Day-name

Other Related Axioms:

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

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