Function REF.NUMBER-OF-VOLUMES

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

Slots on this function:

Documentation:

In a reference, the number of volumes in the associated document.

Instance-Of: Function

Arity: 2

Domain: Reference

Range: Natural

Other Related Axioms:

(=> (Ref.Number-Of-Volumes $X $Y) (Natural $Y))

(=> (Ref.Number-Of-Volumes $X $Y) (Reference $X))