Class PUBLISHER-NAME

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

Slots on this class:

Documentation: A name of some publisher

Instance-Of: Class

Subclass-Of: Biblio-name

Range-Of: Ref.publisher

Axioms:

(Exact-Range Publisher.Name Publisher-Name)

Other Related Axioms:

(=> (Ref.Publisher $X $Y) (Publisher-Name $Y))

Notes:

• see the discussion of AGENT-NAME.