Class PERSON

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

Slots on this class:

Documentation: Human person

Instance-Of: Class

Subclass-Of: Agent

Range-Of: Doc.editor, Doc.series-editor, Doc.translator

Other Related Axioms:

(Subclass-Partition Agent (Setof Person Organization))

(=> (Doc.Editor $X $Y) (Person $Y))

(=> (Doc.Series-Editor $X $Y) (Person $Y))

(=> (Doc.Translator $X $Y) (Person $Y))