SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Set
Next Class: MutuallyDisjointClass    Up: Class    Previous Class: Relation   

Set comparison table
Subject is an instance of documentation is a kind of have axiom
FiniteSet A Set containing a finite number of elementsSet
(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
       (and
          (instance ?NUMBER NonnegativeInteger)
          (equal ?NUMBER (CardinalityFn ?SET)))))
NullSetSetThe Set that contains no instances 
(=>
    (instance ?CLASS MutuallyDisjointClass)
    (equal (GeneralizedIntersectionFn ?CLASS) NullSet))

Next Class: MutuallyDisjointClass    Up: Class    Previous Class: Relation