Class PUBLISHER

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

Slots on this class:

Documentation:

A publisher is an organization that publishes. The owner of a publishing company may be a person, and the name of the publisher may be the name of a person.

Instance-Of: Class

Subclass-Of: Organization

Domain-Of: Publisher.address, Publisher.name

Range-Of: Doc.publisher

---

Slots on instances of this class:

Publisher.Name:

Slot-Cardinality: 1

Other Related Axioms:

(=> (Publisher ?X) (Value-Cardinality ?X Publisher.Name 1))

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

(=> (Publisher.Address $X $Y) (Publisher $X))

(=> (Doc.Publisher $X $Y) (Publisher $Y))