Class Month-Name

August, December, November, October, September ...
Instance-Of: Class, Relation, Set
Range-Of: Month-Name-Of, Month-Of
All-Instances: {
April, August, December, February, January, July, June, March, May, November, October, September}
Arity: 1
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.


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