SUMO   View all facts   Glossary   Help
Entity > Abstract > Class
Next AbstractProposition    UpAbstract    Previous AbstractAttribute   

Class
subjectfact 
Classdocumentation 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 themselves2001-11-30 13:33:50.0
has 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 first domain of AbstractionFn2001-11-30 13:33:50.0
is first domain of ComplementFn2001-11-30 13:33:50.0
is first domain of disjoint2001-11-30 13:33:50.0
is first domain of disjointDecomposition2001-11-30 13:33:50.0
is first domain of exhaustiveDecomposition2001-11-30 13:33:50.0
is first domain of GeneralizedIntersectionFn2001-11-30 13:33:50.0
is first domain of GeneralizedUnionFn2001-11-30 13:33:50.0
is first domain of IntersectionFn2001-11-30 13:33:50.0
is first domain of RelativeComplementFn2001-11-30 13:33:50.0
is first domain of subclass2001-11-30 13:33:50.0
is first domain of UnionFn2001-11-30 13:33:50.0
is second domain of closedOn2001-11-30 13:33:50.0
is second domain of disjoint2001-11-30 13:33:51.0
is second domain of equivalenceRelationOn2001-11-30 13:33:51.0
is second domain of instance2001-11-30 13:33:51.0
is second domain of IntersectionFn2001-11-30 13:33:51.0
is second domain of irreflexiveOn2001-11-30 13:33:51.0
is second domain of partialOrderingOn2001-11-30 13:33:51.0
is second domain of range2001-11-30 13:33:51.0
is second domain of rangeSubclass2001-11-30 13:33:51.0
is second domain of reflexiveOn2001-11-30 13:33:51.0
is second domain of RelativeComplementFn2001-11-30 13:33:51.0
is second domain of subclass2001-11-30 13:33:51.0
is second domain of totalOrderingOn2001-11-30 13:33:51.0
is second domain of trichotomizingOn2001-11-30 13:33:51.0
is second domain of UnionFn2001-11-30 13:33:51.0
is third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
is a kind of Abstract2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of Class :

Next AbstractProposition    UpAbstract    Previous AbstractAttribute