definition: form
A KIF definition.