disjoint-concepts-p [Method]

Purpose

The disjoint-concepts-p method is used to determine whether two concepts are disjoint, i.e., cannot have members in common.

disjoint-concepts-p concept1 concept2

The concept1 and concept2 arguments are concepts or sets.

The disjoint-concepts-p function returns non-nil if concept1 is provably disjoint from concept2.

The disjointness test is not yet implemented for relations.

(disjoint-concepts-p (fc Woman) (fc Bachelor)) ==> T 
(disjoint-concepts-p (fc Weekday) (fc Weekend-Day)) ==> T