ifterm: term
A KIF ifterm.
TO BE COMPLETED.