A constant can have multiple partial definitions, each of which restricts the possible denotations of the constant. All the definitions of a constant must declare the constant to be the same category; i.e., they must all use the same operator - defobject, deffunction, or defrelation. The defining axioms specified by partial definitions can be either unrestricted or optionally required to be conservative extensions to the language.