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

**Documentation:**The sentence {tt (member $tau_1$ $tau_2$)} is true if and only if the object denoted by $tau_1$ is contained in the set denoted by $tau_2$. As mentioned above, an object can be a member of another object if and only if the former is bounded and the latter is a set.

**Arity:**2**Domain:**Bounded**Range:**Set

**Source:**KIF Version 3.0 Specification