Class TITLE

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

Slots on this class:

Documentation:

A title is a string naming a publication, a document, or something analogous. Title strings are distinct from strings naming agents (books can't talk).

Instance-Of: Class

Subclass-Of: Biblio-name

Range-Of:

Doc.series-title, Doc.title, Ref.booktitle, Ref.magazine-name, Ref.newspaper-name, Ref.periodical, Ref.secondary-title, Ref.title

Other Related Axioms:

(=> (Doc.Title $X $Y) (Title $Y))

(=> (Doc.Series-Title $X $Y) (Title $Y))

(=> (Ref.Title $X $Y) (Title $Y))

(=> (Ref.Booktitle $X $Y) (Title $Y))

(=> (Ref.Periodical $X $Y) (Title $Y))

(=> (Ref.Secondary-Title $X $Y) (Title $Y))

(=> (Ref.Magazine-Name $X $Y) (Title $Y))

(=> (Ref.Newspaper-Name $X $Y) (Title $Y))