Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

sub collection (subCollection)

(subCollection coll1 coll2) means that the Collection coll1 is a proper part of the Collection coll2.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

binary predicate
is instance of

is instance of

transitive relation
is instance of

is instance of

irreflexive relation
is instance of

is instance of

is instance of

Subrelation(s)

sub organizations

Coordinate term(s)

back fn front fn arc weight attribute authors before before or equal causes causes subclass citizen closed on connected connected engineering components contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance interior part inverse irreflexive on larger less than less than or equal to manner material measure meets spatially meets temporally modal attribute overlaps partially overlaps temporally parent partial ordering on partly located path length possesses precondition prevents proper part property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub graph sub list sub organizations sub plan sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

subCollection(collection, collection)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

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