Ontolingua -> LOOM

vet@cs.utwente.nl (Paul van der Vet)
Date: Wed, 13 Jul 94 09:41:09 +0200
From: vet@cs.utwente.nl (Paul van der Vet)
Message-id: <9407130741.AA03118@apollo.cs.utwente.nl>
To: ontolingua@HPP.stanford.EDU
Subject: Ontolingua -> LOOM

The Ontolingua package, version 4, can be used to translate ontologies
written in Ontolingua into a number of target languages. For my
ontology, the translation into LOOM failed. Ontolingua complained:

>>Error: The function ONTOLINGUA-INTERNAL::LIST-IF-NOT is undefined

I suppose this is an Ontolingua problem, because the ontology in
question was checked OK by XREF-THEORY and translation into the other
supported target languages went allright.

Is this a known problem? And, more importantly, how can I fix it?


Paul van der Vet                   Phone +31 53 89 36 94 / 36 90
Knowledge-Based Systems Group      Fax   +31 53 33 96 05
Dept. of Computer Science          Email vet@cs.utwente.nl
University of Twente
P.O. Box 217
7500 AE  Enschede
The Netherlands