Class INHERITS-TITLE-FROM-DOCUMENT

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Publication-reference

Superclass-Of:

Artwork-reference, Book-reference, Cartographic-map-reference, Computer-program-reference, Multimedia-document-reference, Technical-manual-reference, Technical-report-reference, Thesis-reference

---

Slots on instances of this class:

Ref.Title:

Same-Slot-Values:

(Compose Doc.Title Ref.Document)

Equivalence Axioms:

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

Axioms:

(Publication-Reference ?Ref)

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

Other Related Axioms:

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