Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

you3 xian4 ji2 he2 (FiniteSet)

A Set containing a finite number of elements.

Ontology

SUMO / SET/CLASS-THEORY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  ji2 he2 huo4 zhong3 lei4  
is subclass of
  ji2 he2  
is subclass of
  you3 xian4 ji2 he2  

Axioms (1)

If set shi4 you3 xian4 ji2 he2 de5 shi2 li4, then there exists fei1 fu4 zheng3 shu4 number so_that_not number deng3 yu1 "set zhong1 shi2 li4 de5 shu4 mu4". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))