Class DIAGRAM-OBJECT

Subclass-Of: Visual-document

Axioms:

(=> (Diagram-Object ?Self)
    (And (Exists (?A) (And (Part-Of ?Self ?A) (Diagram ?A)))
         (Exists (?B) (And (Represented-By ?Self ?B) (Icon ?B)))))

• Defined in theory: Diagrams
• Source code: Diagrams.lisp