KIF: Definitions in KIF

[John F. Sowa]

Mark,

My sympathy for having some well-defined way to distinguish functions
& relations only goes a limited way.  I wouldn't encourage people who
use a dumb convetion in writing their problem specifications:

> This wasn't my first choice either, but what you regard as a bug was
> relied upon by some axiom writers; this feature was motivated by the
> desire to import pre-existing theorem-proving problems written with
> that convention.  There certainly were problems for me and users when
> such different interpretations of input expressions are used.

John