# 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.

## Syntax

**disjoint-concepts-p** *concept1 concept2*

## Arguments

The *concept1* and *concept2* arguments are concepts or sets.

## Value

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

## Remarks

The disjointness test is not yet implemented for relations.

## Examples

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

## See Also

Last modified: Jun 1 1995