Function THESIS.UNIVERSITY

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

Slots on this function:

Instance-Of: Function

Arity: 2

Domain: Thesis

Range: University

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Thesis
                       Thesis.University
                       University)

(Inherited-Facet-Value Slot-Cardinality Thesis Thesis.University 1)

(=> (Thesis ?X)
    (And (Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Thesis.University 1)
         (Value-Type ?X Thesis.University University)))

(=> (Thesis.University $X $Y) (University $Y))

(=> (Thesis.University $X $Y) (Thesis $X))

(Inherited-Facet-Value Same-Slot-Values
                       Thesis-Reference
                       Ref.Publisher
                       (Compose Organization.Name Thesis.University))

(=> (Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Thesis)
         (Value-Cardinality ?Ref Ref.Publisher 1)
         (Same-Values ?Ref
                      Ref.Publisher
                      (Compose Organization.Name Thesis.University))))