Class AGENT-NAME

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

Slots on this class:

Documentation:

A string that is the name of some agent.

Instance-Of: Class

Subclass-Of: Biblio-name

Range-Of: Ref.secondary-author, Ref.tertiary-author

Axioms:

(Exact-Range Agent.Name Agent-Name)

Other Related Axioms:

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

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

Notes:

• Added the constraint that agent-name is a subclass-of biblio-name to be clear. This could be inferred from the definition of EXACT-RANGE and AGENT.NAME -- since the AGENT-NAME is the EXACT-RANGE of the AGENT.NAME function, and a RANGE of AGENT.NAME is BIBLIO-NAME, and since the EXACT-RANGE of a BINARY-RELATION is a SUBCLASS-OF any of its ranges, then it follows that AGENT-NAME is a SUBCLASS-OF BIBLIO-NAME.