FIND-SUBFORMULAS : WFFOP

FIND-SUBFORMULAS is a wff operation.
Find all subformulas of a given type in a wff.
 
The calling scheme for FIND-SUBFORMULAS is:

(FIND-SUBFORMULAS GWFF TYPE)
"GWFF" "TYPESYM"


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage