Class YEAR-NUMBER

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp
• Also defined in: Bibliographic-data

Slots on this class:

Documentation:

YEAR-NUMBER deontes a year of A.D.

Instance-Of: Class

Subclass-Of: Integer

Range-Of: Time-point.year

Other Related Axioms:

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