kolekce (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.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

objekt

kolekce

Podtřída(y)

skupina

Související termín(y)

původce oblast spojitý objekt

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.

Axiomy (3)

kolekce je disjoint from spojitý objekt.

(disjoint Collection SelfConnectedObject)

Jestliže coll je instancí třídy kolekce, potom existuje obj tak, že obj je a členem coll.

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

coll1 je a proper sub-collection of coll2 tehdy a jen tehdy pokud

coll1 je instancí třídy kolekce
coll2 je instancí třídy kolekce
pro všechny member platí: jestliže member je a členem coll1, potom member je a členem coll2

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