Relation DOC.EDITOR

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

Slots on this relation:

Documentation:

Named primary editors of a document.

Instance-Of: Relation

Arity: 2

Range: Person

Other Related Axioms:

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

(=> (Doc.Editor ?Doc ?Editor) (Or (Book ?Doc) (Proceedings ?Doc)))

(Inherited-Facet-Value Same-Slot-Values
                       Edited-Book
                       Doc.Editor
                       Doc.Author)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Edited-Book
                       Doc.Editor
                       1)

(<=> (Edited-Book ?X)
     (And (Book ?X)
          (Minimum-Value-Cardinality ?X Doc.Editor 1)
          (Same-Values ?X Doc.Editor Doc.Author)))

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