Relation HOLDS-TRUE-3

Arity: 3

Range: Thing

Axioms:

(Nth-Domain Holds-True-3 2 Thing)

(Nth-Domain Holds-True-3 1 Relation)

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