TYPE-OF-ARG-1 : WFFOP

TYPE-OF-ARG-1 is a wff operation.
Finds type of first argument.
 
The calling scheme for TYPE-OF-ARG-1 is:

(TYPE-OF-ARG-1 GWFF)
"GWFF"


The result is of type TYPESYM.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage