negation: logsent
A KIF negation.
TO BE COMPLETED.