Function DOC.INSTITUTION

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

Slots on this function:

Documentation:

The institution that publishes a document, like a University or trade association.

Instance-Of: Function

Arity: 2

Range: Organization

Other Related Axioms:

(=> (Doc.Institution $X $Y) (Organization $Y))

(=> (= (Doc.Institution ?Doc) ?Organization)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(Inherited-Facet-Value Slot-Value-Type
                       Technical-Report
                       Doc.Institution
                       Organization)

(Inherited-Facet-Value Slot-Cardinality
                       Technical-Report
                       Doc.Institution
                       1)

(=> (Technical-Report ?X)
    (And (Minimum-Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Doc.Institution 1)
         (Value-Type ?X Doc.Institution Organization)))

(Inherited-Facet-Value Same-Slot-Values
                       Technical-Report-Reference
                       Ref.Publisher
                       (Compose Organization.Name Doc.Institution))

(=> (Technical-Report-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Publisher 1)
         (Same-Values ?Ref
                      Ref.Publisher
                      (Compose Organization.Name Doc.Institution))))