(documentation SeriesVolumeFn EnglishLanguage "A BinaryFunction that maps a type of Series (e.g. the Encyclopedia_Britannica or the Popular_Mechanics periodical) and a number to the volumes of the text type designated by the number.") 
Midlevelontology.kif 1236412366 

(domain SeriesVolumeFn 2 PositiveInteger) 
Midlevelontology.kif 1236212362 
The number 2 argument of series volume is an instance of positive integer 
(domainSubclass SeriesVolumeFn 1 Series) 
Midlevelontology.kif 1236112361 
The number 1 argument of series volume is a subclass of series 
(instance SeriesVolumeFn BinaryFunction) 
Midlevelontology.kif 1235912359 
Series volume is an instance of binary function 
(instance SeriesVolumeFn PartialValuedRelation) 
Midlevelontology.kif 1236012360 
Series volume is an instance of partial valued relation 
(rangeSubclass SeriesVolumeFn Text) 
Midlevelontology.kif 1236312363 
The values returned by series volume are subclasses of text 