Class DOCUMENT

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

Slots on this class:

Documentation:

A document is something created by author(s) that may be viewed, listened to, etc., by some audience. A document persists in material form (e.g., a concert or dramatic performance is not a document). Documents typically reside in libraries.

Instance-Of: Class

Subclass-Of: Biblio-thing

Domain-Of:

Doc.author, Doc.author-name, Doc.number-of-pages, Doc.publication-date, Doc.publisher, Doc.title

Range-Of: Ref.document

Subclass-Partition: {

Book, Miscellaneous-publication, Periodical-publication, Proceedings, Technical-report, Thesis}

Superclass-Of:

Book, Miscellaneous-publication, Periodical-publication, Proceedings, Technical-report, Thesis

---

Slots on instances of this class:

Doc.Title:

Slot-Cardinality: 1

Other Related Axioms:

(Subclass-Partition Biblio-Thing
                    (Setof Agent
                           Timepoint
                           Document
                           Reference
                           Conference))

(=> (Document ?X) (Value-Cardinality ?X Doc.Title 1))

(=> (Doc.Title $X $Y) (Document $X))

(=> (Doc.Author $X $Y) (Document $X))

(Nth-Domain Doc.Author.Name 1 Document)

(=> (Doc.Author-Name $X $Y) (Document $X))

(=> (Doc.Publication-Date $X $Y) (Document $X))

(=> (Doc.Publisher $X $Y) (Document $X))

(=> (Doc.Number-Of-Pages $X $Y) (Document $X))

(=> (Ref.Document $X $Y) (Document $Y))

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

(=> (Publication-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Document)
         (Value-Cardinality ?Ref Ref.Title 1)))