Table of Contents

Variable *All-Theories*

The value of this variable is a list of all currently defined OntoLingua theories. This variable 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.

The current value of *ALL-THEORIES* is 

 (#<KIF-THEORY KIF-SETS 1E37926> #<KIF-THEORY KIF-NUMBERS 1E37976>
#<KIF-THEORY KIF-LISTS 1E37656> #<KIF-THEORY KIF-RELATIONS 1E3735E> #<KIF-THEORY KIF-META 1E372AE> #<KIF-THEORY KIF-EXTENSIONS 1E37266> #<KIF-THEORY FRAME-ONTOLOGY 1E3724E> #<KIF-THEORY SLOT-CONSTRAINT-SUGAR 1EB431E> #<KIF-THEORY USER-THEORY 1EB4336> #<KIF-THEORY ABSTRACT-ALGEBRA 1EB437E> #<KIF-THEORY BIBLIOGRAPHIC-DATA 1EB4436> #<KIF-THEORY UNARY-SCALAR-FUNCTIONS 1EB4706> #<KIF-THEORY CML 1EB49FE> #<KIF-THEORY COMPONENT-ASSEMBLIES 1EB4D1E> #<KIF-THEORY DME-CML 1EB5096> #<KIF-THEORY PARAMETRIC-CONSTRAINTS 1EB54A6> #<KIF-THEORY COMPONENTS-WITH-CONSTRAINTS 1EB5B1E> #<KIF-THEORY SIMPLE-GEOMETRY 1EB608E> #<KIF-THEORY MECHANICAL-COMPONENTS 1EB5DF6> #<KIF-THEORY TENSOR-QUANTITIES 1EB72EE> #<KIF-THEORY 3D-TENSOR-QUANTITIES 1EB822E> #<KIF-THEORY BASIC-MATRIX-ALGEBRA 1EB8BBE> #<KIF-THEORY PHYSICAL-QUANTITIES 1EB4CC6> #<KIF-THEORY QUANTITY-SPACES 1EB69BE> #<KIF-THEORY SCALAR-QUANTITIES 1EB536E> #<KIF-THEORY STANDARD-DIMENSIONS 1EB57A6> #<KIF-THEORY STANDARD-UNITS 1EB7C96> #<KIF-THEORY JAT-GENERIC 1EBE3EE> #<KIF-THEORY JOB-ASSIGNMENT-TASK 1EBF7B6> #<KIF-THEORY MACE-DOMAIN 1EB5386> #<KIF-THEORY THERMAL-SYSTEM 1EB577E> #<KIF-THEORY VT-DESIGN 1FBF9BE> #<KIF-THEORY VT-DOMAIN 1FBF9CE> #<KIF-THEORY VT-EXAMPLE 1D0DC86>)