InsiemeConcreto (Collection)

Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, football teams, and flocks of sheep.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Entitá

EntitáConcreta

Oggetto

InsiemeConcreto

Subclass(es)

Gruppo

Coordinate term(s)

Agente Regione OggettoIntegro

Constrains relations

member sub collection

Related WordNet synsets

collection, aggregation, accumulation, assemblage: several things grouped together
bunch, lot, caboodle: any collection in its entirety; "she bought the whole caboodle"
collective: forming a whole or aggregate

See more related synsets on a separate page.

Axioms (3)

InsiemeConcreto é disgiunto da OggettoIntegro.

(disjoint Collection SelfConnectedObject)

Se coll é un' istanza di InsiemeConcreto, allora esiste obj tale che obj é un membro di coll.

(=>
      (instance ?COLL Collection)
      (exists
            (?OBJ)
            (member ?OBJ ?COLL)))

coll1 é sottoinsieme un proprio coll2 se e solo se

coll1 é un' istanza di InsiemeConcreto
coll2 é un' istanza di InsiemeConcreto
per ogni member vale: se member é un membro di coll1, allora member é un membro di coll2

(<=>
      (subCollection ?COLL1 ?COLL2)
      (and
            (instance ?COLL1 Collection)
            (instance ?COLL2 Collection)
            (forall
                  (?MEMBER)
                  (=>
                        (member ?MEMBER ?COLL1)
                        (member ?MEMBER ?COLL2)))))