CONTAINS-DEFN : WFFOP

CONTAINS-DEFN is a wff operation.
Tests whether the argument contains a definition.
 
The calling scheme for CONTAINS-DEFN is:

(CONTAINS-DEFN %1)
"GWFF"


The result is of type BOOLEAN.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage