Relation DEFINING-AXIOM

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp

Slots on this relation:

Documentation:

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

Instance-Of: Relation

Arity: 2

Domain: Constant

Range: Sentence

Other Related Axioms:

(=> (Defining-Axiom $X $Y) (Sentence $Y))

(=> (Defining-Axiom $X $Y) (Constant $X))