DEFINE-INSTANCE
===============

syntax: (define-instance <instance-name>
           OF <frame-name>
           [:DOCUMENTATION <documentation>]
           [:EXPLANATION <explanation>]
           {<relation-name>
           ([:VALUE {'{'<lisp-type: T>*'}'|
                            <lisp-type: T>}
           [:READ-DEPENDENTS (<lisp-type: T>*)]|
           [:WRITE-DEPENDENTS (<lisp-type: T>*)]}*)

Warning: The explanation facility is not sup-
         ported, hence :documentation and
         :explanation are ignored.

The instance definition defines the single instances
of the frames.

See the page on RELATION-SPECIFICATION, too!

example: >(define-instance Louvre of museum)
             :documentation ""
             :explanation nil
                place (:read-dependents
                   (traffic-office-Paris))
                theme ())