Class INHERITS-TITLE-FROM-DOCUMENT

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

Slots on this class:

Subclass-Of: Publication-reference

Axioms:

(Same-Slot-Values Inherits-Title-From-Document
                  Ref.Title
                  (Compose Doc.Title Ref.Document))

(<=> (Inherits-Title-From-Document ?Ref)
     (And (Publication-Reference ?Ref)
          (Same-Values ?Ref
                       Ref.Title
                       (Compose Doc.Title Ref.Document))))