Relation SET-COVER

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

Slots on this relation:

Instance-Of: Relation

Equivalence Axioms:

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

Axioms:

(Undefined (Arity Set-Cover))

Other Related Axioms:

(Instance-Of (Arity Set-Cover) Undefined)

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

Notes:

• Source: KIF Version 3.0 Specification