JFORM-TO-GWFF : WFFOP

JFORM-TO-GWFF is a wff operation.
Converts the given JFORM to GWFF. May not work with skolemized jforms.
 
The calling scheme for JFORM-TO-GWFF is:

(JFORM-TO-GWFF JFORM)
"JFORM"


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage