Relation SET-COVER

Axioms:

(Undefined (Arity Set-Cover))

(<=> (Set-Cover ?S @Sets) (Subset ?S (Union @Sets)))

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