you are doing.

So, if I have it correct (I would appreciate correction if I am not) the key
constructs in KIF are:
 - constants
 - variables (and more generally lambda calculus)
 - predication
 - relation
 - some basic elements of logic

GH&gt;	It sure would help to have succinct plain-English descriptions /
definitions of each of these terms. 

The question is how do you choose to use these. The only thing that is
certain is that if you are not consistent you will store up trouble for
yourself. 

GH&gt;	A