Function REF.VOLUME

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

Slots on this function:

Documentation:

in a reference, the volume number of a journal or magazine in which an article occurs.

Instance-Of: Function

Arity: 2

Range: Natural

Other Related Axioms:

(=> (Ref.Volume $X $Y) (Natural $Y))

(=> (= (Ref.Volume ?Ref) ?Number)
    (Or (Book-Reference ?Ref)
        (Book-Section-Reference ?Ref)
        (Article-Reference ?Ref)))