Table of Contents
The value of a call to this macro is a list of all currently defined
OntoLingua theories. This list should never be altered by the
user directly; use DEFINE-THEORY or CREATE-THEORY to define new
theories and DELETE-THEORY to delete them. The objects on this list
are CLOS instances. There can be several theories per ontology, and
even several per ontology and implementation.