Re: Ontolingua -> LOOM

Tom Gruber <gruber@HPP.Stanford.EDU>
Message-id: <199407262250.PAA13514@HPP.Stanford.EDU>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Tue, 26 Jul 1994 15:55:35 -0800
To: (Paul van der Vet), ontolingua@HPP.Stanford.EDU
From: Tom Gruber <gruber@HPP.Stanford.EDU>
Subject: Re: Ontolingua -> LOOM
At  9:41 AM 7/13/94 +0200, Paul van der Vet wrote:
>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?

We can't replicate this.  If this problem still exists in the 4-alpha-2
release, please let us know.