Function AGENT.NAME

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

Slots on this function:

Documentation:

Function from an agent to the name by which it goes. If an agent has more than one complete name (not parts of the name, such as first and last name), then the agent.name is the name used to identify that agent in the shared world. If the shared world is represented in a database, then the name would be a `key field' for the agent. Other names can be related to the agent by some other relations.

Instance-Of: Function

Arity: 2

Domain: Agent

Exact-Range: Agent-name

Range: Biblio-name

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality Agent Agent.Name 1)

(=> (Agent ?X) (Value-Cardinality ?X Agent.Name 1))

(=> (Agent.Name $X $Y) (Biblio-Name $Y))

(=> (Agent.Name $X $Y) (Agent $X))

(Inherited-Facet-Value Slot-Cardinality Author Agent.Name 1)

(=> (Author ?X) (Value-Cardinality ?X Agent.Name 1))

(=> (Author.Name ?Author ?Name)
    (Or (Agent.Name ?Author ?Name) (Penname ?Author ?Name)))

(=> (Penname ?Author ?Name) (Not (Agent.Name ?Author ?Name)))

(Subrelation-Of Organization.Name Agent.Name)

(= Ref.Editor (Compose Agent.Name Doc.Editor Ref.Document))

(= Ref.Series-Editor
   (Compose Agent.Name Doc.Series-Editor Ref.Document))

(= Ref.Translator (Compose Agent.Name Doc.Translator Ref.Document))