Class EDITED-BOOK-REFERENCE


Slots on this class:

Documentation:
like a book-reference, except the document is an edited-book and the author and editor are the same.
Subclass-Of: Book-reference


Slots on instances of this class:

Ref.Author:
Same-Slot-Values: Ref.editor
Ref.Document:
Slot-Cardinality: 1
Slot-Value-Type: Edited-book
Ref.Editor:
Minimum-Slot-Cardinality: 1

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