Class SECOND-NUMBER

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

Slots on this class:

Documentation:

SECOND-NUMBER denotes a second of a minute.

Instance-Of: Class, Real-range

Range-Of: Time-point.second

Axioms:

(= (R-Upper-Bound Second-Number) 59)

(= (R-Lower-Bound Second-Number) 0)

Other Related Axioms:

(=> (Time-Point.Second $X $Y) (Second-Number $Y))