Class YEAR-NUMBER

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

Slots on this class:

Documentation:

A year expressed as the number of years A.D.

Instance-Of: Class

Subclass-Of: Integer

Range-Of: Ref.year, Timepoint.year

Other Related Axioms:

(=> (Timepoint.Year $X $Y) (Year-Number $Y))

(=> (Ref.Year $X $Y) (Year-Number $Y))