Function DOC.PUBLISHER

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

Slots on this function:

Documentation:

The publisher of a document, if there is one. This is the publisher, not its name.

Instance-Of: Function

Arity: 2

Domain: Document

Range: Publisher

Other Related Axioms:

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

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

(Inherited-Facet-Value Slot-Cardinality Book Doc.Publisher 1)

(=> (Book ?X)
    (And (Minimum-Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Doc.Publisher 1)))

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

(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))))