SUMO View all facts Glossary Help |
Entity > Abstract > Class |
Class | ||||
subject | fact |
Class | documentation Class generalizes Set. Classes, like Sets, are collections of things. Accordingly, the notion of membership is generalized as well - a member of a Class is an instance the Class. Classes can differ from Sets in two important respects. First, Classes that are not explicitly identified as Sets are not assumed to be extensional. That is, distinct Classes might well have exactly the same instances. Second, Classes typically have an associated `condition' that determines the instances of the Class. So, for example, the condition `human' determines the Class of Humans. Note that some Classes might satisfy their own condition (e.g., the Class of Abstract things is Abstract) and hence be instances of themselves | |
has axiom (<=> | ||
has axiom (forall (?INT) (domain disjointDecomposition ?INT Class)) | ||
has axiom (forall (?INT) (domain exhaustiveDecomposition ?INT Class)) | ||
is first domain of AbstractionFn | ||
is first domain of ComplementFn | ||
is first domain of disjoint | ||
is first domain of disjointDecomposition | ||
is first domain of exhaustiveDecomposition | ||
is first domain of GeneralizedIntersectionFn | ||
is first domain of GeneralizedUnionFn | ||
is first domain of IntersectionFn | ||
is first domain of RelativeComplementFn | ||
is first domain of subclass | ||
is first domain of UnionFn | ||
is second domain of closedOn | ||
is second domain of disjoint | ||
is second domain of equivalenceRelationOn | ||
is second domain of instance | ||
is second domain of IntersectionFn | ||
is second domain of irreflexiveOn | ||
is second domain of partialOrderingOn | ||
is second domain of range | ||
is second domain of rangeSubclass | ||
is second domain of reflexiveOn | ||
is second domain of RelativeComplementFn | ||
is second domain of subclass | ||
is second domain of totalOrderingOn | ||
is second domain of trichotomizingOn | ||
is second domain of UnionFn | ||
is third domain of domain | ||
is third domain of domainSubclass | ||
is a kind of Abstract | ||
Abstract | is disjoint from Physical |
Kinds of Class :
Next Abstract: Proposition Up: Abstract Previous Abstract: Attribute