functerm: term
A KIF functerm.
TO BE COMPLETED.