Class AUTHOR


Slots on this class:

Documentation:
An author is an agent who writes things. An author must have a name, which is its real name as an agent. The name as author may or may not be the agent's name, but usually is.
Instance-Of: Class
Subclass-Of: Agent
Domain-Of: Author.name, Penname
Range-Of: Doc.author


Slots on instances of this class:

Agent.Name:
Slot-Cardinality: 1

Other Related Axioms:

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

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

(=> (Penname $X $Y) (Author $X))

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

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


Notes: