Relation PUBLISHER.ADDRESS

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

Slots on this relation:

Documentation:

The publisher.address is the name of a city with which a publisher is associated for document ordering purposes. There may be several cities associated with a publisher. If the city is well-known, then just its name is given; otherwise its name and state and sometimes country are given as the location.

Instance-Of: Relation

Arity: 2

Domain: Publisher

Range: City-address

Other Related Axioms:

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

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

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Publisher-From-Document
                       Ref.Address
                       (Compose Publisher.Address
                                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))))