Class EDITED-BOOK-REFERENCE

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

Slots on this class:

Documentation:

like a book-reference, except the document is an edited-book and the author and editor are the same.

Instance-Of: Class

Subclass-Of: Book-reference

---

Slots on instances of this class:

Ref.Author:

Same-Slot-Values:

Ref.Editor

(Compose Doc.Author-Name Ref.Document)

Ref.Document:

Slot-Cardinality: 1

Slot-Value-Type: Edited-book, Book, Document

Ref.Editor:

Minimum-Slot-Cardinality: 1

Equivalence Axioms:

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

Axioms:

(Book-Reference ?Ref)

Other Related Axioms:

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