Function COMPLEMENT

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

Slots on this function:

Instance-Of: Function

Arity: 2

Domain: Set

Range: Set

Other Related Axioms:

(<- (Complement ?S) (Setofall ?X (Not (Member ?X ?S))))

(=> (Complement $X $Y) (Set $Y))

(=> (Complement $X $Y) (Set $X))

Notes:

• Source: KIF Version 3.0 Specification