Function TIMEPOINT.SECONDS

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

Slots on this function:

Documentation:

function from time points to integers representing the seconds component of the time specification. This is not the internal representation of the universal time, (e.g., number seconds since some historical date). Timepoint.seconds is the number of seconds past the minute, hour, day, etc. specified in the other components of the timepoint.

Instance-Of: Function

Arity: 2

Domain: Timepoint

Range: Integer

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality
                       Universal-Time-Spec
                       Timepoint.Seconds
                       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.Seconds $X $Y) (Integer $Y))

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

(=> (= (Timepoint.Seconds ?Timepoint) ?Seconds) (=< ?Seconds 59))

(=> (= (Timepoint.Seconds ?Timepoint) ?Seconds) (=< 0 ?Seconds))