zhong3 lei4 (Class)

Classes differ from Sets in two important respects. First, Classes are not assumed to be extensional. That is, distinct Classes might well have exactly the same instances. Second, Classes typically have an associated `condition' that determines the instances of the Class. So, for example, the condition `human' determines the Class of Humans. Note that some Classes might satisfy their own condition (e.g., the Class of Abstract things is Abstract) and hence be instances of themselves.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

chou1 xiang4 de5

ji2 he2 huo4 zhong3 lei4

zhong3 lei4

Instance(s)

ke3 ji4 cheng2 guan1 xi4

Coordinate term(s)

hu4 chi4 lei4 cheng2 dui4 du2 li4 lei4 ji2 he2

Constrains relations

miao2 shu4 han2 shu4 fan4 wei2 han2 shu4 wu2 jiao1 ji2 fen1 jie3 qiong2 jin4 de5 fen1 jie3 fen1 ge1

Related WordNet synsets

category: a general concept that marks divisions or coordinations in a conceptual scheme
kind, sort, form, variety: a category of things distinguished by some common characteristic or quality; "sculpture is a form of art"; "what kinds of desserts are there?"
classification, categorization: a group of people or things arranged by class or category
class, category, family: a collection of things sharing a common attribute; "there are two classes of detergents"
stamp: a type or class; "more men of his stamp are needed"

See more related synsets on a separate page.

Axioms (4)

if bei4 bao1 han2,
then if element shi4 "()" de5 yi1 cheng2 yuan2, then element shi4 zhong3 lei4 de5 shi2 li4

(=>
      (exhaustiveDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

if wu2 jiao1 ji2 di4 fen1 jie3 cheng2 ,
then if element shi4 "()" de5 yi1 cheng2 yuan2, then element shi4 zhong3 lei4 de5 shi2 li4

(=>
      (disjointDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

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

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

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

(partition SetOrClass Set Class)