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
Last modified: Jun 1 1995