Loom to KIF?

"Dr. John Bateman" <bateman@darmstadt.gmd.de>
Date: Thu, 16 Nov 1995 16:29:50 +0100
From: "Dr. John Bateman" <bateman@darmstadt.gmd.de>
Message-id: <199511161529.QAA08048@sonne.darmstadt.gmd.de>
To: ontolingua@HPP.Stanford.EDU
Subject: Loom to KIF?
We would like to investigate the use of the
Ontolingua tools for furthering the collaborative
development of our Generalized Upper Model ontology,
currently documented at:

 URL http://www.darmstadt.gmd.de/publish/komet/gen-um/newUM.html

We generated this document from the LaTeX source and
then by changing bits as required. Using Ontolingua
for the documentation management would also be 

Are there by now any tools for converting from Loom
(the implementation language of the Generalized Upper
Model) into KIF? We'd also like to see if we can merge/re-use
some of the microtheories for areas not covered in
the Upper Model, and having it all in KIF would seem
to be a good first step.

John Bateman.