Class AUTHOR-NAME

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

Slots on this class:

Documentation:

A string that is used as the author.name of some author. Often databases of author names are kept separately from databases of people or documents.

Instance-Of: Class

Subclass-Of: Biblio-name

Range-Of: Doc.author-name, Ref.author

Axioms:

(Exact-Range Author.Name Author-Name)

Other Related Axioms:

(Nth-Domain Doc.Author.Name 3 Author-Name)

(=> (Doc.Author-Name $X $Y) (Author-Name $Y))

(=> (Ref.Author $X $Y) (Author-Name $Y))

Notes:

• see the discussion of AGENT-NAME.