Re: KIF and CYC's EL

genesereth@cs.Stanford.EDU (Michael R. Genesereth)
Date: Sun, 31 Jul 1994 10:13:38 -0700
Message-id: <199407311713.AA25613@Sunburn.Stanford.EDU>
To: interlingua@ISI.EDU,, (Fritz Lehmann)
From: genesereth@cs.Stanford.EDU (Michael R. Genesereth)
Subject: Re: KIF and CYC's EL
Precedence: bulk

Doug Lenat and I once talked about the possibility of translating from
CYC's EL to KIF; and we agreed we should make an effort to implement a
translator.  At the time, we did not believe there would be any
insurmountable impediments.  However, as so often happens, other matters
took precedence; and the job was never done.  For my part, I would like to
see the question investigated more carefully; and, if someone from the CYC
world were willing to put in the effort, I would be more than happy to
provide KIF support and even some general software tools.