Table of Contents
The value of this variable is the current OntoLingua theory. This
variable should never be altered by the user directly; use IN-THEORY
to set the current theory.
The current value of *CURRENT-THEORY* is
#<KIF-THEORY USER-THEORY 25565AE>