functiondef: definition
A KIF functiondef.
TO BE COMPLETED.