ji2 he2 huo4 zhong3 lei4 (SetOrClass)

The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

chou1 xiang4 de5

ji2 he2 huo4 zhong3 lei4

Subclass(es)

zhong3 lei4 ji2 he2 cheng2 dui4 du2 li4 lei4 hu4 chi4 lei4

Coordinate term(s)

shu3 xing4 tu2 tu2 yuan2 jian4 ming4 ti2 shu4 liang4 guan1 xi4

Constrains relations

ji4 shu4 han2 shu4 hu4 bu3 han2 shu4 gai4 hua4 han2 shu4 gai4 hua4 lian2 ji2 han2 shu4 jiao1 ji2 han2 shu4 zhong3 lei4 miao2 shu4 han2 shu4 mi4 ji2 he2 han2 shu4 guan1 xi4 hu4 bu3 han2 shu4 lian2 ji2 han2 shu4 feng1 bi4 yu1 wu2 jiao1 ji2 ling3 yu4 ling3 yu4 ci4 zhong3 lei4 deng3 tong2 guan1 xi4 yu1 shi2 li4 fei1 fan3 she4 yu1... pian1 xu4 yu1... fan4 wei2 fan4 wei2 ci4 zhong3 lei4 fan3 she4 yu1... ci4 zhong3 lei4 quan2 xu4 yu1... san1 fen1 fa3

Axioms (4)

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

class1 wu2 jiao1 ji2 yu1 class2 if and only if

class1 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4
class2 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4
for all inst holds: inst shi4 class1 de5 shi2 li4 or inst shi4 class2 de5 shi2 li4

(<=>
      (disjoint ?CLASS1 ?CLASS2)
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass)
            (forall
                  (?INST)
                  (not
                        (and
                              (instance ?INST ?CLASS1)
                              (instance ?INST ?CLASS2))))))

ji2 he2 huo4 zhong3 lei4 wan2 quan2 fen1 ge1 cheng2 ji2 he2,zhong3 lei4.

(partition SetOrClass Set Class)

If class1 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4 and class2 shi4 ji2 he2 huo4 zhong3 lei4 de5 shi2 li4, then "class1 he2 class2 de5 cha4 yi4" deng3 yu1 "class1 he2 "class2 de5 hu4 bu3" de5 lian2 ji2".

(=>
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass))
      (equal
            (RelativeComplementFn ?CLASS1 ?CLASS2)
            (IntersectionFn
                  ?CLASS1
                  (ComplementFn ?CLASS2))))