Class DOCTORAL-THESIS


Slots on this class:

Documentation: Ph.D. 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
                       Doctoral-Thesis-Reference
                       Ref.Document
                       Doctoral-Thesis)

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