SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Set > FiniteSet
Next Set: NullSet    Up: Set

FiniteSet
subjectfact 
FiniteSetdocumentation A Set containing a finite number of elements2001-11-30 13:34:16.0
has axiom 
(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
       (and
          (instance ?NUMBER NonnegativeInteger)
          (equal ?NUMBER (CardinalityFn ?SET)))))
2001-11-30 13:34:16.0
is a kind of Set2001-11-30 13:34:16.0
Setis first domain of subset2001-11-30 13:35:15.0
is second domain of element2001-11-30 13:35:15.0
is second domain of subset2001-11-30 13:35:15.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0