Relation MUTUALLY-DISJOINT

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

Slots on this relation:

Documentation:

Sets are mutually-disjoint if and only if there is no object that is a member of all of the sets.

Axioms:

(Undefined (Arity Mutually-Disjoint))

(<=> (Mutually-Disjoint @Sets) (Empty (Intersection @Sets)))

Notes:

• Source: KIF Version 3.0 Specification