qun2 ji2 (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)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

qun2 ji2

Subclass(es)

qun2 ti1

Coordinate term(s)

shi1 shi4 zhe3 qu1 yu4 zi4 shen1 lian2 xu4 wu4 ti1

Constrains relations

cheng2 yuan2 ci4 ju4 ji2

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)

qun2 ji2 wu2 jiao1 ji2 yu1 zi4 shen1 lian2 xu4 wu4 ti1.

(disjoint Collection SelfConnectedObject)

If coll shi4 qun2 ji2 de5 shi2 li4, then there exists obj so_that_not obj shi4 collde5 cheng2 yuan2.

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

coll1 shi4 coll2 de5 zheng4 ci4 ju4 ji2 if and only if

coll1 shi4 qun2 ji2 de5 shi2 li4
coll2 shi4 qun2 ji2 de5 shi2 li4
for all member holds: if member shi4 coll1de5 cheng2 yuan2, then member shi4 coll2de5 cheng2 yuan2

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