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.

Instance-Of: Relation

Equivalence Axioms:

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

Axioms:

(Empty (Intersection @Sets))

(Undefined (Arity Mutually-Disjoint))

Other Related Axioms:

(Instance-Of (Arity Mutually-Disjoint) Undefined)

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

Notes:

• Source: KIF Version 3.0 Specification