Class EDITED-BOOK

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

Slots on this class:

Documentation:

An edited book is a book whose authors are known as editors.

Instance-Of: Class

Subclass-Of: Book

---

Slots on instances of this class:

Doc.Editor:

Minimum-Slot-Cardinality: 1

Same-Slot-Values: Doc.author

Equivalence Axioms:

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

Axioms:

(Book ?X)

Other Related Axioms:

(<=> (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
                       Edited-Book-Reference
                       Ref.Document
                       Edited-Book)

(<=> (Edited-Book-Reference ?Ref)
     (And (Book-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Edited-Book)
          (Minimum-Value-Cardinality ?Ref Ref.Editor 1)
          (Same-Values ?Ref Ref.Author Ref.Editor)))

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

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