Function REF.TYPE-OF-WORK

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

Slots on this function:

Documentation:

An identifier of some specialization within the reference type. For example, technical reports are labeled with types-of-work such as ``technical report'' and ``memo''. Dissertations are specialized by the level of the associated degree.

Instance-Of: Function

Arity: 2

Range: Biblio-name

Other Related Axioms:

(=> (Ref.Type-Of-Work $X $Y) (Biblio-Name $Y))

(=> (= (Ref.Type-Of-Work ?Ref) ?Name)
    (Or (Thesis-Reference ?Ref)
        (Technical-Report-Reference ?Ref)
        (Misc-Publication-Reference ?Ref)))

(Inherited-Facet-Value Inherited-Slot-Value
                       Doctoral-Thesis-Reference
                       Ref.Type-Of-Work
                       Doctoral Thesis)

(=> (Doctoral-Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Doctoral-Thesis)
         (Has-Value ?Ref Ref.Type-Of-Work Doctoral Thesis)))

(Inherited-Facet-Value Inherited-Slot-Value
                       Masters-Thesis-Reference
                       Ref.Type-Of-Work
                       Masters Thesis)

(=> (Masters-Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Masters-Thesis)
         (Has-Value ?Ref Ref.Type-Of-Work Masters Thesis)))