Function TIME-POINT.UNIT

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

Slots on this function:

Documentation:

TIME-UNIT denotes a unit of a time point.

Instance-Of: Function

Arity: 2

Domain: Time-point

Range: Duration

Other Related Axioms:

(=> (Time-Point.Unit $X $Y) (Duration $Y))

(=> (Time-Point.Unit $X $Y) (Time-Point $X))