kif doc

• Mail folder: Interlingua Mail
• Next message: sowa@watson.ibm.com: "More about contexts"
• Previous message: sowa@watson.ibm.com: "Contexts"

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, interlingua@isi.edu, kqml@isi.edu
Subject: kif doc
Message-id: <CMM.0.90.2.716075518.mrg@Sunburn.Stanford.EDU>

Folks,

For your convenience the KIF manual is now available via servicemail.
Just send a note to library@logic.stanford.edu 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
doc.

mrg