xi4 lie4 yi1 juan4 han2 shu4 (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)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 han2 shu4

xi4 lie4 yi1 juan4 han2 shu4

Coordinate term(s)

jia1 fa3 han2 shu4 ri4 han2 shu4 mi4 du4 han2 shu4 chu2 fa3 han2 shu4 wen2 ben3 ban3 ben3 han2 shu4 zhi3 shu4 han2 shu4 tu2 lu4 jing4 han2 shu4 xiao3 shi2 han2 shu4 jiao1 ji2 han2 shu4 jian1 ge2 han2 shu4 zhong3 lei4 miao2 shu4 han2 shu4 lie4 jie2 han2 shu4 lie4 xu4 han2 shu4 dui4 shu4 han2 shu4 zui4 da4 zhi2 han2 shu4 zui4 da4 liang4 lu4 jing4 han2 shu4 ce4 liang4 han2 shu4 bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4 bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4 bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4 zui4 xiao3 zhi2 han2 shu4 zui4 xiao3 liang4 lu4 jing4 han2 shu4 fen1 zhong1 han2 shu4 yue4 fen4 han2 shu4 cheng2 fa3 han2 shu4 qi1 kan1 yi1 qi1 han2 shu4 zhou1 qi1 xing4 shi2 ju4 han2 shu4 guan1 xi4 hu4 bu3 han2 shu4 xiang4 dui4 shi2 jian1 han2 shu4 yu2 shu4 han2 shu4 miao3 zhong1 han2 shu4 su4 du4 han2 shu4 jian3 fa3 han2 shu4 shi2 jian1 dan1 wei4 han2 shu4 shi2 jian1 li4 cheng2 han2 shu4 lian2 ji2 han2 shu4 wei4 zhi4 han2 shu4

Type restrictions

subclass wen2 ben3 SeriesVolumeFn(subclass xi4 lie4 kan1 wu4, zheng4 zheng3 shu4)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

If text shi4 qi1 kan1 de5 ci4 zhong3 lei4 and "ce4 int1 zai4 xi4 lie4 shu4 text" deng3 yu1 volume1 and "ce4 int2 zai4 xi4 lie4 shu4 text" deng3 yu1 volume2 and int2 (bu2) da4 yu1 int1 and pub1 shi4 chu1 ban3 de5 shi2 li4 and pub2 shi4 chu1 ban3 de5 shi2 li4 and volume1 shi4 pub1 de5 shou4 shi4 zhe3 and volume2 shi4 pub2 de5 shou4 shi4 zhe3 and pub1 de5 ri4 qi1 shi4 date1 and pub2 de5 ri4 qi1 shi4 date2, then "date1 de5 jie2 shu4" (mei2) fa1 sheng1?{s} zai4 "date2 de5 jie2 shu4" zhi1 qian2.

(=>
      (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)))

If "ce4 number zai4 xi4 lie4 shu4 series" deng3 yu1 volume, then series bao1 rong2 volume.

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