Class VISUAL-DOCUMENT

Subclass-Of: Document
Axioms:
(=> (Visual-Document ?Self)
    (Exists (?A) (And (Part ?Self ?A) (Icon ?A))))