Class
VISUAL-DOCUMENT
Subclass-Of
:
Document
Axioms:
(=> (
Visual-Document
?Self) (Exists (?A) (And (Part ?Self ?A) (
Icon
?A))))
Defined in theory:
Representation
Source code:
Representation.lisp