Function REF.DAY

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

Slots on this function:

Documentation:

In a reference, the day of the month in which a publication is published. Useful for conference proceedings, personal communications.

Instance-Of: Function

Arity: 2

Range: Day-number

Other Related Axioms:

(=> (Ref.Day $X $Y) (Day-Number $Y))

(=> (= (Ref.Day ?Ref) ?Day)
    (Or (Article-Reference ?Ref)
        (Personal-Communication-Reference ?Ref)))

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

(=> (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)))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Day
                       (Compose Timepoint.Day
                                Doc.Publication-Date
                                Ref.Document))

(=> (Proceedings-Paper-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Proceedings)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Title 1)
         (Value-Cardinality ?Ref Ref.Booktitle 1)
         (Same-Values ?Ref
                      Ref.Booktitle
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Title Ref.Booktitle)
         (Same-Values ?Ref Ref.Secondary-Author Ref.Editor)
         (Same-Values ?Ref
                      Ref.Organization
                      (Compose Conf.Organization
                               Doc.Conference
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Address
                      (Compose Conf.Address
                               Doc.Conference
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Month
                      (Compose Timepoint.Month
                               Doc.Publication-Date
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Day
                      (Compose Timepoint.Day
                               Doc.Publication-Date
                               Ref.Document))))

(Inherited-Facet-Value Slot-Cardinality
                       Personal-Communication-Reference
                       Ref.Day
                       1)

(=> (Personal-Communication-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Year 1)
         (Value-Cardinality ?Ref Ref.Month 1)
         (Value-Cardinality ?Ref Ref.Day 1)))