Class MASTERS-THESIS

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

Slots on this class:

Documentation: M.S. thesis document.

Instance-Of: Class

Subclass-Of: Thesis

Other Related Axioms:

(Exhaustive-Subclass-Partition Thesis
                               (Setof Masters-Thesis Doctoral-Thesis))

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

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