SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Set > NullSet
Next SetFiniteSet    UpSet

NullSetdocumentation The Set that contains no instances2001-11-30 13:34:50.0
has axiom
(instance ?CLASS MutuallyDisjointClass)
(equal (GeneralizedIntersectionFn ?CLASS) NullSet))
2001-11-30 13:34:50.0
is an instance of Set2001-11-30 13:34:50.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