Function REF.PERIODICAL

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

Slots on this function:

Documentation:

Most general relation between a reference and a journal.

Instance-Of: Function

Arity: 2

Domain: Reference

Range: Title

Other Related Axioms:

(=> (Ref.Periodical $X $Y) (Title $Y))

(=> (Ref.Periodical $X $Y) (Reference $X))

(Inherited-Facet-Value Same-Slot-Values
                       Article-Reference
                       Ref.Secondary-Title
                       Ref.Periodical)

(Inherited-Facet-Value Same-Slot-Values
                       Article-Reference
                       Ref.Periodical
                       (Compose Doc.Title Ref.Document))

(Inherited-Facet-Value Slot-Cardinality
                       Article-Reference
                       Ref.Periodical
                       1)

(=> (Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Periodical-Publication)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Title 1)
         (Value-Cardinality ?Ref Ref.Year 1)
         (Value-Cardinality ?Ref Ref.Periodical 1)
         (Same-Values ?Ref
                      Ref.Periodical
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Title Ref.Periodical)))

(Inherited-Facet-Value Same-Slot-Values
                       Magazine-Article-Reference
                       Ref.Magazine-Name
                       Ref.Periodical)

(=> (Magazine-Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Magazine)
         (Value-Cardinality ?Ref Ref.Magazine-Name 1)
         (Same-Values ?Ref Ref.Magazine-Name Ref.Periodical)))

(Inherited-Facet-Value Same-Slot-Values
                       Newspaper-Article-Reference
                       Ref.Magazine-Name
                       Ref.Periodical)

(=> (Newspaper-Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Newspaper)
         (Value-Cardinality ?Ref Ref.Newspaper-Name 1)
         (Same-Values ?Ref Ref.Magazine-Name Ref.Periodical)
         (Value-Cardinality ?Ref Ref.Month 1)
         (Value-Cardinality ?Ref Ref.Day 1)
         (Value-Type ?Ref Ref.Address City-Address)))