Class DAY-NUMBER

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp
• Also defined in: Jat-generic

Slots on this class:

Documentation:

integer representing day of month.

Instance-Of: Class

Subclass-Of: Integer

Range-Of: Ref.day, Timepoint.day

Equivalence Axioms:

(<=> (Day-Number ?Day-Of-Month)
     (And (Integer ?Day-Of-Month)
          (=< 0 ?Day-Of-Month)
          (=< ?Day-Of-Month 31)))

Axioms:

(=< ?Day-Of-Month 31)

(=< 0 ?Day-Of-Month)

(Integer ?Day-Of-Month)

Other Related Axioms:

(<=> (Day-Number ?Day-Of-Month)
     (And (Integer ?Day-Of-Month)
          (=< 0 ?Day-Of-Month)
          (=< ?Day-Of-Month 31)))

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

(=> (Ref.Day $X $Y) (Day-Number $Y))