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

**Documentation:**Two sets are disjoint if and only if there is no object that is a member of both sets.

**Arity:**2

(<=> (Disjoint ?S1 ?S2) (Empty (Intersection ?S1 ?S2)))

**Source:**KIF Version 3.0 Specification