Function TIME-POINT.MONTH-NAME

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

Slots on this function:

Documentation:

TIME-POINT.MONTH-NAME denotes a name of a month of a time point.

Instance-Of: Function

Arity: 2

Domain: Time-point

Range: Month-name

Other Related Axioms:

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

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