NIL Notes: Source: KIF Version 3.0 Specification
(<=> (Set-Partition ?S @Sets) (And (= ?S (Union @Sets)) (Pairwise-Disjoint @Sets)))
(Pairwise-Disjoint @Sets) (Undefined@Ol-User%Kif-Extensions (Arity@Frame-Ontology Set-Partition))