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.

Subclass-Of: Integer

Axioms:

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