Class CALENDAR-DATE

• 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 day.

Instance-Of: Class

Subclass-Of: Timepoint

Range-Of: Conf.date

---

Slots on instances of this class:

Timepoint.Day:

Slot-Cardinality: 1

Timepoint.Month:

Slot-Cardinality: 1

Timepoint.Year:

Slot-Cardinality: 1

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Conference
                       Conf.Date
                       Calendar-Date)

(=> (Conference ?X)
    (And (Value-Cardinality ?X Conf.Name 1)
         (Value-Type ?X Conf.Name Biblio-Name)
         (Value-Cardinality ?X Conf.Organization 1)
         (Value-Type ?X Conf.Organization Organization)
         (Value-Cardinality ?X Conf.Date 1)
         (Value-Type ?X Conf.Date Calendar-Date)
         (Value-Type ?X Conf.Address City-Address)
         (Maximum-Value-Cardinality ?X Conf.Address 1)))

(=> (Conf.Date $X $Y) (Calendar-Date $Y))