incoherent-concept [Property]

Purpose

The incoherent-concept predicate tests a concept for incoherence.

Syntax

incoherent-concept object

Argument

The object argument is any object.

Value

The incoherent-concept predicate returns t if object is an incoherent concept.

Remarks

There are many possible sources of incoherence. Most often, a concept is incoherent because it specializes two or more disjoint concepts, or it contains conflicting number or value restrictions.

Examples

(defconcept Pet :partitions (($PET$ (Cat Dog)))) \ldots 
(defconcept Cat-Dog :is (:and Cat Dog)) 
(retrieve ?x (incoherent-concept ?x)) ==> (|C|CAT-DOG)