Function TIMEPOINT.YEAR

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

Slots on this function:

Documentation:

function from time points to integers representing the year component of the time specification. The integer represents the number of years A.D., e.g., 1992.

Instance-Of: Function

Arity: 2

Domain: Timepoint

Range: Year-number

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality
                       Calendar-Year
                       Timepoint.Year
                       1)

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

(Inherited-Facet-Value Slot-Cardinality
                       Calendar-Date
                       Timepoint.Year
                       1)

(=> (Calendar-Date ?T)
    (And (Value-Cardinality ?T Timepoint.Day 1)
         (Value-Cardinality ?T Timepoint.Month 1)
         (Value-Cardinality ?T Timepoint.Year 1)))

(Inherited-Facet-Value Slot-Cardinality
                       Universal-Time-Spec
                       Timepoint.Year
                       1)

(=> (Universal-Time-Spec ?T)
    (And (Value-Cardinality ?T Timepoint.Seconds 1)
         (Value-Cardinality ?T Timepoint.Minutes 1)
         (Value-Cardinality ?T Timepoint.Day 1)
         (Value-Cardinality ?T Timepoint.Month 1)
         (Value-Cardinality ?T Timepoint.Year 1)))

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

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

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Year-From-Document
                       Ref.Year
                       (Compose Timepoint.Year
                                Doc.Publication-Date
                                Ref.Document))

(<=> (Inherits-Year-From-Document ?Ref)
     (And (Publication-Reference ?Ref)
          (Same-Values ?Ref
                       Ref.Year
                       (Compose Timepoint.Year
                                Doc.Publication-Date
                                Ref.Document))))