Problems translating to loom
kamp@informatik.uni-hamburg.de
Message-id: <9301211115.AA01083@ki6.informatik.uni-hamburg.de>
Date: Thu, 21 Jan 1993 12:14:56 +0100
To: ontolingua@hpp.stanford.edu
From: kamp@informatik.uni-hamburg.de
X-Sender: gerd@134.100.5.191
Subject: Problems translating to loom
Hi,
I've just tried to translate the kif-ontology in the examples
subdirectory of ontolingua to loom 2.0b2. Despite the various warnings
resulting from the fact that member like things could not be translated to
:loom I get the following error in loom:
> Error: No applicable method for args:
> (NIL)
> to #<STANDARD-GENERIC-FUNCTION LOOM::DEPENDENTS #xCEB24E>
> While executing: #<STANDARD-METHOD NO-APPLICABLE-METHOD (T)>
during the translation of
(define-relation EMPTY (?x)
"True of the empty set."
:iff-def (= ?x (setof)))
should I use another version of loom?.
Thanks
Gerd
P.S.: I would like to use the engr-math theories within loom. My
understanding is that a translation of this theories into loom is
difficult. Has anybody done somthing like this before (I'm espescially
interested in the unit-and dimensions and the quantity-space things)
---------------------------------------------------------------------------
Gerd Kamp email: kamp@informatik.uni-hamburg.de
University of Hamburg phone: +49 40 4123-6546
Computer Science Department
AI Lab
Bodenstedtstr. 16
2000 Hamburg 50
Germany