Function DIFFERENCE

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

Slots on this function:

Instance-Of: Function

Axioms:

(Undefined (Arity Difference))

(Nth-Domain Difference 3 Set)

(Nth-Domain Difference 1 Set)

Other Related Axioms:

(<- (Difference ?Set @Sets)
    (Setofall ?X
              (And (Member ?X ?Set)
                   (Forall (?S)
                           (=> (Item ?S (Listof @Sets))
                               (Not (Member ?X ?S)))))))

(Instance-Of (Arity Difference) Undefined)

(=> (= (Difference ?Set @Sets) ?Diff-Set)
    (=> (Item ?S (Listof @Sets)) (Set ?S)))

Notes:

• Source: KIF Version 3.0 Specification