Relation HOLDS

If $tau$ denotes a relation, then the sentence {tt (holds $tau$ $tau_1$ ... $tau_k$)} is true if and only if
the list of objects denoted by $tau_1$,...,$tau_k$ is a member of that relation.

Axioms:

(Undefined (Arity Holds))

(<=> (Holds ?R @Args) (And (Relation ?R) (Member (Listof @Args) ?R)))

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