třída (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.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

abstraktum

množina nebo třída

třída

Instance(s)

inheritable relation

Související termín(y)

vzájemně disjunktní třídy po dvou disjunktní třídy množina

Constrains relations

abstraction fn extension fn disjoint decomposition exhaustive decomposition partition

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.

Axiomy (4)

jestliže je covered by ,
potom jestliže element je a member of "()", potom element je instancí třídy třída

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

jestliže je disjointly decomposed into ,
potom jestliže element je a member of "()", potom element je instancí třídy třída

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

Jestliže class je instancí třídy třída, potom class je podtřídou entita.

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

množina nebo třída je exhaustively partitioned into množina,třída.

(partition SetOrClass Set Class)