a defining axiom for a constant is a sentence that helps define the constant. See the KIF specification for details.