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