kif doc

"Michael R. Genesereth" <mrg@cs.Stanford.EDU>
Sender: Michael Genesereth <mrg@Sunburn.Stanford.EDU>
Date: Wed, 9 Sep 92 14:51:58 PDT
From: "Michael R. Genesereth" <mrg@cs.Stanford.EDU>
Reply-To: genesereth@cs.Stanford.EDU
To: pact@SUMEX-AIM.Stanford.EDU,,
Subject: kif doc
Message-id: <CMM.>

For your convenience the KIF manual is now available via servicemail.
Just send a note to and specify kif.tex as
either subject or body of the message; and you will get the current document
by return mail.  Alternatively, send  the string "help" for fuller