list-undefined-concepts [Function]


Purpose

The list-undefined-concepts function lists all concepts that have been referenced in definitions but have not themselves been defined.

Syntax

list-undefined-concepts &optional context

Arguments

The context argument specifies which context to search. If this argument is not supplied, all contexts are searched.

Value

This function returns a list of undefined concepts and/or relations.

Examples

(defconcept A :is-primitive B :implies C) 
(list-undefined-concepts) ==> (|C|B |C|C) 
(list-undefined-concepts (find-context "CL-USER-THEORY")) ==> (|C|B |C|C)

See Also

Last modified: Jun 1 1995