Table of Contents
The value of this variable is a symbol which names the current
OntoLingua implementation (an OntoLingua implementation is a CLOS
object which represents a supported target representation system.)
This variable should never be altered by the user directly; use
IN-IMPLEMENTATION to set the current implementation.
The current value of *IMPLEMENTATION* is
:KIF