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

astitva

bhOtika vaswu

object

sangraha

Subclass(es)

samUha

Coordinate term(s)

kartaa kshetra aatmasambaddha vastu

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)

sangraha asansavat aatmasambaddha vastu se hai.

(disjoint Collection SelfConnectedObject)

Agar coll is an instance of sangraha, to yah kuch obj nahin, ki obj is a member of coll.

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

coll1 is a proper sub-collection of coll2 agar hai

coll1 is an instance of sangraha
coll2 is an instance of sangraha
sab-kuch member ke lie hai, ki: agar member is a member of coll1, to member is a member of coll2

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