every non-empty set has an element with which it has no members in common. Notes: Source: KIF Version 3.0 Specification
(Forall (?S) (=> (Not (Empty ?S)) (Exists (?U) (And (Member ?U ?S) (Disjoint ?U ?S)))))