Relation DISJOINT

Two sets are disjoint if and only if there is no object that is a member of both sets.

Arity: 2

Axioms:

(<=> (Disjoint ?S1 ?S2) (Empty (Intersection ?S1 ?S2)))

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