Class CALENDAR-YEAR

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this class:

Documentation:

a specification of a point in absolute calendar time, at the resolution of one year.

Instance-Of: Class

Subclass-Of: Timepoint

Range-Of: Doc.publication-date

---

Slots on instances of this class:

Timepoint.Year:

Slot-Cardinality: 1

Other Related Axioms:

(=> (Calendar-Year ?T) (Value-Cardinality ?T Timepoint.Year 1))

(=> (Doc.Publication-Date $X $Y) (Calendar-Year $Y))