Class Month-Name

Has-Instance:
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
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.

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.

Slots: