ci4 zhong3 lei4 (subclass)

(subclass class1 class2) means that class1 is a subclass of class2, i.e. every instance of class1 is also an instance of class2. A class may have multiple superclasses and subclasses.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 shu4 ci2
is instance of

pian1 xu4 guan1 xi4
is instance of

ci4 zhong3 lei4

Subrelation(s)

zhi2 jie1 ci4 zhong3 lei4 zi3 ji2

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 guan1 xi4 bao1 han2 xun4 xi1 zhong3 lei4 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

subclass(ji2 he2 huo4 zhong3 lei4, ji2 he2 huo4 zhong3 lei4)

Related WordNet synsets

specialization, specialisation: the act of specializing; making something suitable for a special purpose
sort: an approximate definition or example; "she wore a sort of magenta dress"; "she served a creamy sort of dessert thing"
species, variety: a specific kind of something: "a species of molecule"; "a species of villainy"

See more related synsets on a separate page.

Axioms (24)

If entity shi4 class de5 zhi2 jie1 shi2 li4, then there doesn't exist class subclass so_that_not entity shi4 subclass de5 shi2 li4.

(=>
      (immediateInstance ?ENTITY ?CLASS)
      (not
            (exists
                  (?SUBCLASS)
                  (and
                        (subclass ?SUBCLASS ?CLASS)
                        (instance ?ENTITY ?SUBCLASS)))))

subclass shi4 class de5 ci4 zhong3 lei4 if and only if

subclass shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4
class shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4
for all inst holds: if inst shi4 subclass de5 shi2 li4, then inst shi4 class de5 shi2 li4

(<=>
      (subclass ?SUBCLASS ?CLASS)
      (and
            (instance ?SUBCLASS SetOrClass)
            (instance ?CLASS SetOrClass)
            (forall
                  (?INST)
                  (=>
                        (instance ?INST ?SUBCLASS)
                        (instance ?INST ?CLASS)))))

If class1 shi4 class2 de5 zhi2 jie1 ci4 zhong3 lei4, then there doesn't exist class2 class3 so_that_not class1 shi4 class3 de5 ci4 zhong3 lei4 and class2 deng3 yu1 class3 and class1 deng3 yu1 class3.

(=>
      (immediateSubclass ?CLASS1 ?CLASS2)
      (not
            (exists
                  (?CLASS3)
                  (and
                        (subclass ?CLASS3 ?CLASS2)
                        (subclass ?CLASS1 ?CLASS3)
                        (not
                              (equal ?CLASS2 ?CLASS3))
                        (not
                              (equal ?CLASS1 ?CLASS3))))))

If rel de5 lun4 yuan2 number shi4 class1 de5 shi2 li4 and rel de5 lun4 yuan2 number shi4 class2 de5 shi2 li4, then class1 shi4 class2 de5 ci4 zhong3 lei4 or class2 shi4 class1 de5 ci4 zhong3 lei4.

(=>
      (and
            (domain ?REL ?NUMBER ?CLASS1)
            (domain ?REL ?NUMBER ?CLASS2))
      (or
            (subclass ?CLASS1 ?CLASS2)
            (subclass ?CLASS2 ?CLASS1)))

If rel de5 lun4 yuan2 number shi4 class1 de5 ci4 zhong3 lei4 and rel de5 lun4 yuan2 number shi4 class2 de5 ci4 zhong3 lei4, then class1 shi4 class2 de5 ci4 zhong3 lei4 or class2 shi4 class1 de5 ci4 zhong3 lei4.

(=>
      (and
            (domainSubclass ?REL ?NUMBER ?CLASS1)
            (domainSubclass ?REL ?NUMBER ?CLASS2))
      (or
            (subclass ?CLASS1 ?CLASS2)
            (subclass ?CLASS2 ?CLASS1)))

If rel de5 fan4 wei2 shi4 class1 de5 shi2 li4 and rel de5 fan4 wei2 shi4 class2 de5 shi2 li4, then class1 shi4 class2 de5 ci4 zhong3 lei4 or class2 shi4 class1 de5 ci4 zhong3 lei4.

(=>
      (and
            (range ?REL ?CLASS1)
            (range ?REL ?CLASS2))
      (or
            (subclass ?CLASS1 ?CLASS2)
            (subclass ?CLASS2 ?CLASS1)))

If bei4 function gui1 hui2 de5 zhi2 shi4 classde5 ci4 zhong3 lei4 and "function()" deng3 yu1 value, then value shi4 class de5 ci4 zhong3 lei4.

(=>
      (and
            (rangeSubclass ?FUNCTION ?CLASS)
            (equal
                  (AssignmentFn ?FUNCTION @ROW)
                  ?VALUE))
      (subclass ?VALUE ?CLASS))

If bei4 rel gui1 hui2 de5 zhi2 shi4 class1de5 ci4 zhong3 lei4 and bei4 rel gui1 hui2 de5 zhi2 shi4 class2de5 ci4 zhong3 lei4, then class1 shi4 class2 de5 ci4 zhong3 lei4 or class2 shi4 class1 de5 ci4 zhong3 lei4.

(=>
      (and
            (rangeSubclass ?REL ?CLASS1)
            (rangeSubclass ?REL ?CLASS2))
      (or
            (subclass ?CLASS1 ?CLASS2)
            (subclass ?CLASS2 ?CLASS1)))

If class shi4 zhong3 lei4 de5 shi2 li4, then class shi4 shi2 ti3 de5 ci4 zhong3 lei4.

(=>
      (instance ?CLASS Class)
      (subclass ?CLASS Entity))

If objecttype shi4 wu4 zhi4 de5 ci4 zhong3 lei4 and object shi4 objecttype de5 shi2 li4 and part shi4 object de5 bu4 fen5), then part shi4 objecttype de5 shi2 li4.

(=>
      (and
            (subclass ?OBJECTTYPE Substance)
            (instance ?OBJECT ?OBJECTTYPE)
            (part ?PART ?OBJECT))
      (instance ?PART ?OBJECTTYPE))

If mixture shi4 hun4 he2 wu4 de5 shi2 li4, then there exist chun2 wu4 zhi4 pure1,chun2 wu4 zhi4 pure2 so_that_not pure1 deng3 yu1 pure2 and pure1 shi4 mixture de5 yi1 xiao3 bu4 fen5 and pure2 shi4 mixture de5 yi1 xiao3 bu4 fen5.

(=>
      (instance ?MIXTURE Mixture)
      (exists
            (?PURE1 ?PURE2)
            (and
                  (subclass ?PURE1 PureSubstance)
                  (subclass ?PURE2 PureSubstance)
                  (not
                        (equal ?PURE1 ?PURE2))
                  (piece ?PURE1 ?MIXTURE)
                  (piece ?PURE2 ?MIXTURE))))

If obj shi4 fu4 za2 ti1/fei1 dan1 zhi4 ti1 de5 shi2 li4, then there exist wu4 zhi4 substance1,wu4 zhi4 substance2 so_that_not substance1 shi4 you2 obj zu3 cheng2 and substance2 shi4 you2 obj zu3 cheng2 and substance1 deng3 yu1 substance2.

(=>
      (instance ?OBJ CorpuscularObject)
      (exists
            (?SUBSTANCE1 ?SUBSTANCE2)
            (and
                  (subclass ?SUBSTANCE1 Substance)
                  (subclass ?SUBSTANCE2 Substance)
                  (material ?SUBSTANCE1 ?OBJ)
                  (material ?SUBSTANCE2 ?OBJ)
                  (not
                        (equal ?SUBSTANCE1 ?SUBSTANCE2)))))

if class wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then for all item holds: if item shi4 "()" de5 yi1 cheng2 yuan2, then item shi4 class de5 ci4 zhong3 lei4

(=>
      (disjointDecomposition ?CLASS @ROW)
      (forall
            (?ITEM)
            (=>
                  (inList
                        ?ITEM
                        (ListFn @ROW))
                  (subclass ?ITEM ?CLASS))))

If rel de5 lun4 yuan2 number shi4 class de5 ci4 zhong3 lei4 and rel() (bu2) cheng2 li4s, then ""()" de5 di4 er4 yuan2 su4" shi4 class de5 ci4 zhong3 lei4.

(=>
      (and
            (domainSubclass ?REL ?NUMBER ?CLASS)
            (holds ?REL @ROW))
      (subclass
            (ListOrderFn
                  (ListFn @ROW)
                  ?NUMBER)
            ?CLASS))

If seq shi4 shun4 xu4 han2 shu4 de5 shi2 li4 and seq de5 fan4 wei2 shi4 class de5 shi2 li4, then class shi4 zheng3 shu4 de5 ci4 zhong3 lei4.

(=>
      (and
            (instance ?SEQ SequenceFunction)
            (range ?SEQ ?CLASS))
      (subclass ?CLASS Integer))

If graph shi4 tu2 de5 shi2 li4, then "hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 zui4 xiao3 xiang1 jiao1 lu4 jing4" shi4 "hua2 fen1 graph wei2 liang3 du2 li4 tu2 biao3 de5 xiang1 jiao1 lu4 jing4" de5 ci4 zhong3 lei4.

(=>
      (instance ?GRAPH Graph)
      (subclass
            (MinimalCutSetFn ?GRAPH)
            (CutSetFn ?GRAPH)))

If "number unit(s)" deng3 yu1 quant and unit shi4 quanttype de5 ci4 zhong3 lei4, then quant shi4 quanttype de5 shi2 li4.

(=>
      (and
            (equal
                  (MeasureFn ?NUMBER ?UNIT)
                  ?QUANT)
            (subclass ?UNIT ?QUANTTYPE))
      (instance ?QUANT ?QUANTTYPE))

If pub shi4 chu1 ban3 de5 shi2 li4 and text shi4 pub de5 shou4 shi4 zhe3, then text shi4 wen2 ben3 de5 ci4 zhong3 lei4.

(=>
      (and
            (instance ?PUB Publication)
            (patient ?PUB ?TEXT))
      (subclass ?TEXT Text))

If parent shi4 child de5 shuang1 qin1 and class shi4 sheng1 wu4 ti1 de5 ci4 zhong3 lei4 and parent shi4 class de5 shi2 li4, then child shi4 class de5 shi2 li4.

(=>
      (and
            (parent ?CHILD ?PARENT)
            (subclass ?CLASS Organism)
            (instance ?PARENT ?CLASS))
      (instance ?CHILD ?CLASS))

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 artifact1 shi4 artifact2 de5 ban3 ben3, then artifact1 shi4 artifact2 de5 ci4 zhong3 lei4.

(=>
      (version ?ARTIFACT1 ?ARTIFACT2)
      (subclass ?ARTIFACT1 ?ARTIFACT2))

If device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc.

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (capability ?PROC instrument ?DEVICE))))

If device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device you3 yi4 tu2 "device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc".

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))

subclass shi4 "class de5 suo3 you3 ci4 zhong3 lei4" de5 shi2 li4 if and only if subclass shi4 class de5 ci4 zhong3 lei4.

(<=>
      (instance
            ?SUBCLASS
            (PowerSetFn ?CLASS))
      (subclass ?SUBCLASS ?CLASS))