Class TECHNICAL-REPORT

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

Slots on this class:

Documentation:
A technical report is a paper published by some research organization.
Instance-Of: Class
Subclass-Of: Document

Doc.Author:: Minimum-Slot-Cardinality: 1
Doc.Institution:: Slot-Cardinality: 1; Slot-Value-Type: Organization
Doc.Publication-Date:: Slot-Cardinality: 1
Doc.Title:: Slot-Cardinality: 1

Other Related Axioms:

(Subclass-Partition Document
                    (Setof Book
                           Periodical-Publication
                           Proceedings
                           Thesis
                           Technical-Report
                           Miscellaneous-Publication))

(=> (= (Ref.Month ?Ref) ?Month)
    (Or (Article-Reference ?Ref) (Technical-Report ?Ref)))