SUMO View all facts Glossary Help |
Entity > Abstract > Class > Set > FiniteSet |
FiniteSet | ||||
subject | fact |
FiniteSet | documentation A Set containing a finite number of elements | |
has axiom (=> | ||
is a kind 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 |