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

Axioms:

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

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