SUMO View all facts Glossary Help |
Entity > Abstract > Class > Set |
Set comparison table |
Subject | is an instance of | documentation | is a kind of | have axiom |
---|---|---|---|---|
FiniteSet | A Set containing a finite number of elements | Set | (=> | |
NullSet | Set | The Set that contains no instances | (=> |
Next Class: MutuallyDisjointClass Up: Class Previous Class: Relation