Relation AUTHOR.NAME


Slots on this relation:

Documentation:
An author name is the name of an agent used to identify it as an author. It is not necessarily unique; authors may go by pseudonyms. A particular author.name of an author must be either the author's real name (i.e., her agent.name), or else it is one of her pennames.
Instance-Of: Relation
Arity: 2
Domain: Author
Exact-Range: Author-name
Range: Biblio-name

Other Related Axioms:

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

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

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