Relation REF.TERTIARY-AUTHOR

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

Slots on this relation:

Documentation:

Teritiary author of a reference. Beats me what this is.

Instance-Of: Relation

Arity: 2

Domain: Reference

Range: Agent-name

Other Related Axioms:

(=> (Ref.Tertiary-Author $X $Y) (Agent-Name $Y))

(=> (Ref.Tertiary-Author $X $Y) (Reference $X))

(Inherited-Facet-Value Same-Slot-Values
                       Book-Section-Reference
                       Ref.Tertiary-Author
                       Ref.Series-Editor)

(=> (Book-Section-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Edited-Book)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Minimum-Value-Cardinality ?Ref Ref.Editor 1)
         (Value-Cardinality ?Ref Ref.Booktitle 1)
         (Same-Values ?Ref
                      Ref.Booktitle
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Author Ref.Editor)
         (Same-Values ?Ref Ref.Tertiary-Author Ref.Series-Editor)))