Relation HOLDS-TRUE-4

Arity: 4

Range: Thing

Axioms:

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

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

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

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