Classe (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)

Entitá

Astratto

InsiemeOClasse

Classe

Instance(s)

inheritable relation

Coordinate term(s)

ClasseMutualmenteDisgiunta ClasseDisgiuntaACoppie Insieme

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.

Axioms (4)

se é coperto da ,
allora se element é un é membro di "(", allora element é un' istanza di Classe

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

se é scomposto disgiuntivamente in ,
allora se element é un é membro di "(", allora element é un' istanza di Classe

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

Se class é un' istanza di Classe, allora class é una sottoclasse di Entitá.

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

InsiemeOClasse é esaustivamente partizionato in Insieme,Classe.

(partition SetOrClass Set Class)