Relation DISJOINT

This relation holds if concepts are disjoint.

Arity: 2

Domain: Unary-relation

Range: Unary-relation

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-sets