Function COMPLEMENT

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

Slots on this function:

Arity: 2

Domain: Set

Range: Set

Axioms:

(=> (Complement ?S ?Set) (= ?Set (Setofall ?X (Not (Member ?X ?S)))))

Notes:

• Source: KIF Version 3.0 Specification