Class TIMEPOINT

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

Slots on this class:

Documentation:

A timepoint is a point in real, historical time (on earth). It is independent of observer and context. A timepoint is not a measurement of time, nor is it a specification of time. It is the point in time. The timepoints at which events occur can be known with various degrees of precision and approximation, but conceptually timepoints are point-like and not interval-like. That is, it doesn't make sense to talk about what happens during a timepoint, or how long the timepoint lasts.

Instance-Of: Class

Subclass-Of: Biblio-thing

Domain-Of:

Timepoint.day, Timepoint.minutes, Timepoint.month, Timepoint.seconds, Timepoint.year

Superclass-Of: Calendar-date, Calendar-year, Universal-time-spec

Other Related Axioms:

(Subclass-Partition Biblio-Thing
                    (Setof Agent
                           Timepoint
                           Document
                           Reference
                           Conference))

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

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

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

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

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