Class CARTOGRAPHIC-MAP

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this class:

Documentation:

The doc.author is the cartographer.

Instance-Of: Class

Subclass-Of: Miscellaneous-publication

Other Related Axioms:

(=> (= (Doc.Edition ?Doc) ?Nth)
    (Or (Book ?Doc) (Proceedings ?Doc) (Cartographic-Map ?Doc)))

(Subclass-Partition Miscellaneous-Publication
                    (Setof Technical-Manual
                           Computer-Program
                           Artwork
                           Cartographic-Map
                           Multimedia-Document))