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.

Subclass-Of: Book

---

Slots on instances of this class:

Doc.Editor:

Minimum-Slot-Cardinality: 1

Same-Slot-Values: Doc.author

Axioms:

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