equivalence: logsent
A KIF equivalence.
TO BE COMPLETED.