NILNotes:
- Source: KIF Version 3.0 Specification
(Undefined@Ol-User%Kif-Extensions (Arity@Frame-Ontology Union))
(=> (= (Union @Sets) ?Set) (=> (Item@Ol-User%Kif-Lists ?S (Listof @Sets)) (Set ?S)))
(<=> (Set-Partition ?S @Sets) (And (= ?S (Union @Sets)) (Pairwise-Disjoint @Sets))) (<=> (Set-Cover ?S @Sets) (Subset ?S (Union @Sets)))
(= ?S (Union @Sets))