series volume fn (SeriesVolumeFn)

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.

Ontology

SUMO / OBJECTS

Class(es)

varga

inheritable relation

dvi-aadhaary prakaarya

series volume fn

Coordinate term(s)

addition fn day fn density fn division fn edition fn exponentiation fn graph path fn hour fn intersection fn interval fn kappa fn list concatenate fn list order fn log fn max fn maximal weighted path fn measure fn mereological difference fn mereological product fn mereological sum fn min fn minimal weighted path fn minute fn month fn multiplication fn periodical issue fn recurrent time interval fn relative complement fn relative time fn remainder fn second fn speed fn subtraction fn temporal composition fn time interval fn union fn where fn

Type restrictions

subclass vishaya SeriesVolumeFn(subclass shQnkhalaa, dhanaatmaka pUrNaanka)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Agar text is a subclass of saavadhika aur "volume int1 in the series text" is equal to volume1 aur "volume int2 in the series text" is equal to volume2 aur int2 is greater than int1 aur pub1 is an instance of prakaashana aur pub2 is an instance of prakaashana aur volume1 is a patient of pub1 aur volume2 is a patient of pub2 aur date of pub1 is date1 aur date of pub2 is date2, to "the end of date1" happen?{s} before "the end of date2".

(=>
      (and
            (subclass ?TEXT Periodical)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT1)
                  ?VOLUME1)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT2)
                  ?VOLUME2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?VOLUME1)
            (patient ?PUB2 ?VOLUME2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))

Agar "volume number in the series series" is equal to volume, to series subsumes the content of volume.

(=>
      (equal
            (SeriesVolumeFn ?SERIES ?NUMBER)
            ?VOLUME)
      (subsumesContentClass ?SERIES ?VOLUME))