Class MONTH-NAME

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

Slots on this class:

Documentation:

The months of the year, specified as an extensionally-defined (i.e., enumerated) set of objects, in English.

Instances of this class of months are not symbols, they are months that may be denoted by object constants.

Instance-Of: Class

All-Instances: {

April, August, December, February, January, July, June, March, May, November, October, September}

Has-Instance:

April, August, December, February, January, July, June, March, May, November, October, September

Range-Of: Ref.month, Timepoint.month

Other Related Axioms:

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

(=> (Ref.Month $X $Y) (Month-Name $Y))

Notes:

• Why not specify them as an ordered sequence?

  The class only defines the set of months. Their order would be given by an ordering predicate: a binary relation.