SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Set
Next ClassMutuallyDisjointClass    UpClass    Previous ClassRelation   

Setdocumentation A Class that satisfies extensionality as well as other conditions specified by some choice of set theory. Unlike Classes generally, Sets need not have an associated condition that determines their membership. Rather, they are thought of metaphorically as `built up' from some initial stock of objects by means of certain constructive operations (such as the pairing or power set operations). Note that extensionality alone is not sufficient for identifying Classes with Sets, since some Classes (e.g. Entity) cannot be assumed to be Sets without contradiction2001-11-30 13:35:15.0
is 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
is a kind of Class2001-11-30 13:35:15.0
Classhas axiom
(instance ?CLASS Class)
(subclass ?CLASS Entity))
2001-11-30 13:33:50.0
has axiom
(forall (?INT) (domain disjointDecomposition ?INT Class))
2001-11-30 13:33:50.0
has axiom
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
2001-11-30 13:33:50.0
is 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

Kinds of Set :