KIF and CYC's EL (Fritz Lehmann)
Date: Wed, 27 Jul 94 10:32:36 CDT
From: (Fritz Lehmann)
Message-id: <>
Subject: KIF and CYC's EL
Precedence: bulk

     A while ago Tom Gruber and maybe some others were talking
about translating between KIF/Ontolingua and the EL
("Epistemological Language", formerly "constraint language") of the
CYC project at MCC.   I once asked Mark Derthick at CYC what the EL
contained outside of First Order Predicate Calculus, and my
recollection of what he said is that most of the extensions had
analogues in KIF.   Does anybody out there know:

          A. Whether anyone is working on, or has accomplished, a
             KIF-EL (or EL-KIF) translation?

          B. What the main differences and problem areas are?

                          Yours truly,   Fritz Lehmann
GRANDAI Software, 4282 Sandburg Way, Irvine, CA 92715, U.S.A.
Tel:(714)-733-0566  Fax:(714)-733-0506