Function CONF.NAME

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

Slots on this function:

Documentation: Conference name.

Instance-Of: Function

Arity: 2

Domain: Conference

Range: Biblio-name

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Conference
                       Conf.Name
                       Biblio-Name)

(Inherited-Facet-Value Slot-Cardinality Conference Conf.Name 1)

(=> (Conference ?X)
    (And (Value-Cardinality ?X Conf.Name 1)
         (Value-Type ?X Conf.Name Biblio-Name)
         (Value-Cardinality ?X Conf.Organization 1)
         (Value-Type ?X Conf.Organization Organization)
         (Value-Cardinality ?X Conf.Date 1)
         (Value-Type ?X Conf.Date Calendar-Date)
         (Value-Type ?X Conf.Address City-Address)
         (Maximum-Value-Cardinality ?X Conf.Address 1)))

(=> (Conf.Name $X $Y) (Biblio-Name $Y))

(=> (Conf.Name $X $Y) (Conference $X))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings
                       Doc.Title
                       (Compose Conf.Name Doc.Conference))

(=> (Proceedings ?X)
    (And (Value-Cardinality ?X Doc.Conference 1)
         (Value-Type ?X Doc.Conference Conference)
         (Same-Values ?X
                      Doc.Title
                      (Compose Conf.Name Doc.Conference))
         (Same-Values ?X
                      Doc.Publication-Date
                      (Compose Conf.Date Doc.Conference))))