Class BOOK

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

Slots on this class:

Documentation:

pages in a bound cover. You can't judge it by its cover.

Instance-Of: Class

Subclass-Of: Document

Superclass-Of: Edited-book

---

Slots on instances of this class:

Doc.Author:

Minimum-Slot-Cardinality: 1

Doc.Publication-Date:

Slot-Cardinality: 1

Doc.Publisher:

Slot-Cardinality: 1

Doc.Title:

Slot-Cardinality: 1

Other Related Axioms:

(Subclass-Partition Document
                    (Setof Book
                           Periodical-Publication
                           Proceedings
                           Thesis
                           Technical-Report
                           Miscellaneous-Publication))

(=> (= (Doc.Institution ?Doc) ?Organization)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (Doc.Editor ?Doc ?Editor) (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (Doc.Series-Editor ?Doc ?Editor)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (= (Doc.Series-Title ?Doc) ?Title)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (Doc.Translator ?Doc ?Translator)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (= (Doc.Edition ?Doc) ?Nth)
    (Or (Book ?Doc) (Proceedings ?Doc) (Cartographic-Map ?Doc)))

(<=> (Edited-Book ?X)
     (And (Book ?X)
          (Minimum-Value-Cardinality ?X Doc.Editor 1)
          (Same-Values ?X Doc.Editor Doc.Author)))

(Inherited-Facet-Value Slot-Value-Type
                       Book-Reference
                       Ref.Document
                       Book)

(=> (Book-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Book)
         (Same-Values ?Ref Ref.Secondary-Author Ref.Series-Editor)
         (Same-Values ?Ref Ref.Secondary-Title Doc.Series-Title)))

(Inherited-Facet-Value Slot-Value-Type
                       Book-Publication-Data-Constraint
                       Ref.Document
                       Book)

(<=> (Book-Publication-Data-Constraint ?Ref)
     (And (Publication-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Book)
          (Value-Cardinality ?Ref Ref.Publisher 1)
          (Inherits-Publisher-From-Document ?Ref)
          (Value-Cardinality ?Ref Ref.Year 1)
          (Inherits-Year-From-Document ?Ref)))