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

entity

physical

object

collection

Subclass(es)

group

Coordinate term(s)

agent region self connected object

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)

collection is disjoint from self connected object.

(disjoint Collection SelfConnectedObject)

If coll is an instance of collection, then there exists obj so that obj is a member of coll.

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

coll1 is a proper sub-collection of coll2 if and only if

coll1 is an instance of collection
coll2 is an instance of collection
for all member holds: if member is a member of coll1, then member is a member of coll2

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