rule: form
A KIF rule.
TO BE COMPLETED.