Table of Contents
Clears all theories (see CLEAR-THEORY) associated with an OntoLingua
implementation except the FRAME-ONTOLOGY theory. This may have
other implementation dependent side effects, as well.
<implementation> should be a symbol (usually a keyword) which names a
valid OntoLingua implementation; if unspecified, the current
implementation is a assumed (see IN-IMPLEMENTATION.)