Kategorie (Class)

Classes differ from Sets in two important respects. First, Classes 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.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

abstrakter Gegenstand

Menge oder Kategorie

Kategorie

Instance(s)

inheritable relation

Coordinate term(s)

gegenseitige disjunkte Kategorie paarweise disjunkte Kategorie Menge

Constrains relations

AbstraktionFn ExtensionFn disjunkteAufspaltung vollständigeAufspaltung fach

Related WordNet synsets

category: a general concept that marks divisions or coordinations in a conceptual scheme
kind, sort, form, variety: a category of things distinguished by some common characteristic or quality; "sculpture is a form of art"; "what kinds of desserts are there?"
classification, categorization: a group of people or things arranged by class or category
class, category, family: a collection of things sharing a common attribute; "there are two classes of detergents"
stamp: a type or class; "more men of his stamp are needed"

See more related synsets on a separate page.

Axioms (4)

wenn wird mit behandelt,
dann wenn element ist ein Mitglied von "()", dann element ist ein fall von Kategorie

(=>
      (exhaustiveDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

wenn wird zusammenhanglos auf disjunkt,
dann wenn element ist ein Mitglied von "()", dann element ist ein fall von Kategorie

(=>
      (disjointDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

Wenn class ist ein fall von Kategorie , dann class ist eine teilkategorie von Wesen.

(=>
      (instance ?CLASS Class)
      (subclass ?CLASS Entity))

Menge oder Kategorie wird vollständig in Menge,Kategorie verteilt.

(partition SetOrClass Set Class)