Function PUBLISHER.NAME

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

Slots on this function:

Documentation:

The name of a publisher; one per publisher.

Instance-Of: Function

Arity: 2

Domain: Publisher

Exact-Range: Publisher-name

Range: Biblio-name

Subrelation-Of: Organization.name

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality Publisher Publisher.Name 1)

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

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

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

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Publisher-From-Document
                       Ref.Publisher
                       (Compose Publisher.Name
                                Doc.Publisher
                                Ref.Document))

(<=> (Inherits-Publisher-From-Document ?Ref)
     (And (Publication-Reference ?Ref)
          (Same-Values ?Ref
                       Ref.Publisher
                       (Compose Publisher.Name
                                Doc.Publisher
                                Ref.Document))
          (Same-Values ?Ref
                       Ref.Address
                       (Compose Publisher.Address
                                Doc.Publisher
                                Ref.Document))))