bao1 han2 xun4 xi1 zhong3 lei4 (subsumesContentClass)

A BinaryPredicate that relates two subclasses of ContentBearingObject. (subsumesContentClass class1 class2) means that the content expressed by each instance of class2 is also expressed by each instance of class1. Examples include the relationship between a poem and one of its stanzas or between a book and one of its chapters. Note that this is a relation between subclasses of ContentBearingObject, rather than instances. If one wants to relate instances, the Predicate subsumesContentInstance can be used. Note that subsumesContentClass is needed in many cases. Consider, for example, the relation between the King James edition of the Bible and its Book of Genesis. This relation holds for every copy of this edition and not just for a single instance.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 shu4 ci2
is instance of

pian1 xu4 guan1 xi4
is instance of

bao1 han2 xun4 xi1 zhong3 lei4

Subrelation(s)

xun4 xi1 deng3 tong2 lei4

Coordinate term(s)

hu2 xian4 zhong4 liang4 zuo4 zhe3 xian1 yu1 huo4 tong5 shi2 zhao4 yin1 ci4 lei4 zhao4 yin1 gong1 min2 feng1 bi4 yu1 xiang1 lian2 de5 bao1 han2 xun4 xi1 gong4 sheng1 fu4 zhi4 ri4 qi1 jiang4 di1 ke3 neng2 xing4 fa1 zhan3 qi1 xing2 shi4 wu2 jiao1 ji2 fen1 pei4 wen2 zi4 shuo1 ming2 chi2 xu4 shi2 jian1 jiao4 zao3 bian1 zhe3 yuan2 su4 gu4 yong4 xiang1 deng3 deng3 tong2 guan1 xi4 yu1 li4 yong4 yi3...yu3 yan2 biao3 da2 mian4 dui4 jia1 zu2 guan1 xi4 wan2 cheng2 ci4 shu4 tu2 bu4 fen5 da4 yu1 da4 yu1 huo4 deng3 yu1 you3 yi4 tu2 you3 ji4 qiao3 zai4...qi1 jian1 wei2 zhen1 xu1 shi3...wei2 zhen1 you3 quan2 shi3...wei2 zhen1 dong4 tong2 yi1 yuan2 su4 chuan4 lie4 zhong1 zai4 zhu4 yi4 fan4 wei2 zhong1 zeng1 jia1 ke3 neng2 xing4 du2 li4 huo4 ran2 lv4 ju1 zhu4 yi4 zhi4 chu1 shi3 hua4 xu4 lie4 shi2 li4 dao4 xu4 fei1 fan3 she4 yu1... da4 yu1 xiao3 yu1 xiao3 yu1 huo4 deng3 yu1 wei4 yu1 wu4 zhi4 ce4 liang4 shi2 duan4 xiang1 jie1 qing2 tai4 shu3 xing4 shi2 duan4 zhong4 die2 雙親 bu4 fen5 pian1 xu4 yu1... bu4 fen5 wei4 yu1 lu4 jing4 chang2 yong1 you3 xian1 jue2 tiao2 jian4 bi4 mian3 te4 xing4 chu1 ban3 fan4 wei2 fan4 wei2 ci4 zhong3 lei4 ti2 ji2 fan3 she4 yu1... SUMOna4 bu4 xiang1 guan1 gai4 nian4 xiong1 di4 zi3 mei4 xiao3 yu1 kai1 shi3 ci4 shu3 xing4 ci4 ju4 ji2 ci4 tu2 ci4 xu4 lie4 ci4 li4 cheng2 ci4 ming4 ti2 ci4 zhong3 lei4 ci4 guan1 xi4 bao1 han2 xun4 xi1 shi2 li4 xu4 jie1 shu3 xing4 feng1 bi4 xu4 jie1 shu3 xing4 shi2 jian1 bu4 fen5 shi2 jian1 quan2 xu4 yu1... san1 fen1 fa3 shi3 yong4 jie2 he2 jia4 ren2 zao4 wu4 ban3 ben3

Type restrictions

subsumesContentClass(subclass na4 rong2 zai4 ti3, subclass na4 rong2 zai4 ti3)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (6)

class1 bao1 rong2 class2 and class2 bao1 rong2 class1 if and only if class1 xun4 xi1 deng3 tong2 yu1 class2.

(<=>
      (and
            (subsumesContentClass ?CLASS1 ?CLASS2)
            (subsumesContentClass ?CLASS2 ?CLASS1))
      (equivalentContentClass ?CLASS1 ?CLASS2))

class1 bao1 rong2 class2 if and only if for all obj2,info holds: if obj2 shi4 class2 de5 shi2 li4 and obj2 (bu2) bao1 han2s) xun4 xi1 %2, then there exists class1 obj1 so_that_not obj1 (bu2) bao1 han2s) xun4 xi1 %2.

(<=>
      (subsumesContentClass ?CLASS1 ?CLASS2)
      (forall
            (?OBJ2 ?INFO)
            (=>
                  (and
                        (instance ?OBJ2 ?CLASS2)
                        (containsInformation ?OBJ2 ?INFO))
                  (exists
                        (?OBJ1)
                        (and
                              (instance ?OBJ1 ?CLASS1)
                              (containsInformation ?OBJ1 ?INFO))))))

bao1 han2 xun4 xi1 shi2 li4 na4 bu4 xiang1 guan1 yu1 bao1 han2 xun4 xi1 zhong3 lei4.

(relatedInternalConcept subsumesContentInstance subsumesContentClass)

If "text1 de5 ban3 ben3 number " deng3 yu1 text2, then text1 bao1 rong2 text2.

(=>
      (equal
            (EditionFn ?TEXT1 ?NUMBER)
            ?TEXT2)
      (subsumesContentClass ?TEXT1 ?TEXT2))

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

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

If "periodical de5 qi1 kan1 shu4 number" deng3 yu1 issue, then periodical bao1 rong2 issue.

(=>
      (equal
            (PeriodicalIssueFn ?PERIODICAL ?NUMBER)
            ?ISSUE)
      (subsumesContentClass ?PERIODICAL ?ISSUE))