Relation THE-RELATION

Arity: 3

Range: Meta-thing

Axioms:

(Nth-Domain The-Relation 2 Integer)

(Nth-Domain The-Relation 1 Thing)

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp