Relation DISJOINT

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

Slots on this relation:

Documentation:

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)))

Notes:

• Source: KIF Version 3.0 Specification