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 #x918D71E> #<KIF-THEORY KIF-NUMBERS #x919466E>
#<KIF-THEORY KIF-LISTS #x919D0B6> #<KIF-THEORY KIF-RELATIONS #x91A08EE> #<KIF-THEORY KIF-META #x91A6C4E> #<KIF-THEORY KIF-EXTENSIONS #x91AA59E> #<KIF-THEORY FRAME-ONTOLOGY #x91BD156> #<KIF-THEORY SLOT-CONSTRAINT-SUGAR #x91C7F9E> #<KIF-THEORY USER-THEORY #x91C96D6> #<KIF-THEORY BIOLOGIC-FUNCTIONS #x923B226> #<KIF-THEORY MORPHOLOGY #x923BD1E> #<KIF-THEORY ABNORMALITIES #x923C06E> #<KIF-THEORY SOCIAL-OBJECTS #x925B136> #<KIF-THEORY ABSTRACT-OBJECTS #x925B486> #<KIF-THEORY PEAK-LEVEL #x9263886> #<KIF-THEORY ACTORS #x9263BD6> #<KIF-THEORY MERONYMY #x92CC106> #<KIF-THEORY POSITIONS #x92CCA0E> #<KIF-THEORY TOPO-MORPHOLOGY #x92CD31E> #<KIF-THEORY ANATOMY #x92CD66E> #<KIF-THEORY ARTIFACTS #x931DAA6> #<KIF-THEORY ASSESSMENT #x9322BA6> #<KIF-THEORY SUBSTANCES #x937EEB6> #<KIF-THEORY CLIN-ACT #x937F7CE> #<KIF-THEORY BIOLOGIC-SUBSTANCES #x937FB1E> #<KIF-THEORY C-DOMAINS #x93A226E> #<KIF-THEORY QUANTITIES #x93ACD6E> #<KIF-THEORY MEDICAL-PROCEDURES #x93AD686> #<KIF-THEORY NATURAL-KINDS #x93ADF9E> #<KIF-THEORY DEPENDENCE #x93F3E96> #<KIF-THEORY DIRECTIONS #x94017FE> #<KIF-THEORY EQUALITY #x9408536> #<KIF-THEORY LAYERS #x941155E> #<KIF-THEORY GRANULARITY #x94118AE> #<KIF-THEORY STRUCTURING-CONCEPTS #x94160C6> #<KIF-THEORY MEREOLOGY #x9427B6E> #<KIF-THEORY LOCALIZATION #x9427EBE> #<KIF-THEORY PROCEDURES #x943FE86> #<KIF-THEORY REPRESENTATION #x94417D6> #<KIF-THEORY TOPOLOGY #x94627EE> #<KIF-THEORY METAONTOLOGY #x949014E> #<KIF-THEORY MOLECULAR-BIOLOGY #x94B406E> #<KIF-THEORY PHYSICAL-CONCEPTS #x95411EE> #<KIF-THEORY UNITS #x95885F6> #<KIF-THEORY UNRESTRICTED-TIME #x95AA406>)