SUMO View all facts Glossary Help |
Entity > Abstract > Class > Set > NullSet |
NullSet | ||||
subject | fact |
NullSet | documentation The Set that contains no instances | |
has axiom (=> | ||
is an instance of Set | ||
Set | is first domain of subset | |
is second domain of element | ||
is second domain of subset | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |