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

**Documentation:**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.

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