hasSubset
P5797
predicate
Indicates that one set is entirely contained within another set, with all elements of the first set also belonging to the second.
All labels observed (12)
| Label | Occurrences |
|---|---|
| subsetOf | 60 |
| hasSubset canonical | 59 |
| includesSubclass | 35 |
| areSubsetOf | 8 |
| subsetRelation | 3 |
| hasSubring | 2 |
| hasSubsetOf | 2 |
| isOpenSubsetOf | 2 |
| belongsToSubset | 1 |
| containsSubSet | 1 |
| isSubsetOfUniverse | 1 |
| subsetIncludes | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: hasSubset
Generated description
Indicates that one set is entirely contained within another set, with all elements of the first set also belonging to the second.
Sample triples (175)
| Subject | Object |
|---|---|
| Eight-thousander | world’s highest mountains via predicate surface "subsetOf" ⓘ |
| IETF BCP series | individual BCP RFCs ⓘ |
| Bantu K languages | Southern Bantu languages via predicate surface "areSubsetOf" ⓘ |
| Bantu K languages | Central Bantu languages via predicate surface "areSubsetOf" ⓘ |
| Simplified Chinese | commonly used characters ⓘ |
| Simplified Chinese | less commonly used characters ⓘ |
| Menger sponge | unit cube in R^3 via predicate surface "subsetOf" ⓘ |
| National Historic Fleet | National Register of Historic Vessels via predicate surface "subsetOf" ⓘ |
| CD4+ T cells | T cells via predicate surface "subsetOf" ⓘ |
| CD4+ T cells | lymphocytes via predicate surface "subsetOf" ⓘ |
| National Historic Landmarks in New Jersey | National Register of Historic Places in New Jersey via predicate surface "subsetOf" ⓘ |
| National Historic Landmarks in Georgia (U.S. state) | National Register of Historic Places listings in Georgia (U.S. state) via predicate surface "subsetOf" ⓘ |
| Hubble sequence | E0 elliptical galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | E7 elliptical galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | Sa spiral galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | Sb spiral galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | Sc spiral galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | S0 lenticular galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | SBa barred spiral galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | SBb barred spiral galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | SBc barred spiral galaxy via predicate surface "includesSubclass" ⓘ |
| Hubble sequence | Irr irregular galaxy via predicate surface "includesSubclass" ⓘ |
| National Historic Landmarks in Iowa |
National Historic Landmark
via predicate surface "subsetOf"
ⓘ
surface form:
National Historic Landmarks in the United States
|
| Madness at the Darkmoon Faire | Darkmoon Races Mini-Set via predicate surface "containsSubSet" ⓘ |
| Ships of the line of the Royal Navy | first-rate ship of the line via predicate surface "includesSubclass" ⓘ |
| Ships of the line of the Royal Navy | second-rate ship of the line via predicate surface "includesSubclass" ⓘ |
| Ships of the line of the Royal Navy | third-rate ship of the line via predicate surface "includesSubclass" ⓘ |
| Ships of the line of the Royal Navy | fourth-rate ship of the line via predicate surface "includesSubclass" ⓘ |
| Union Cabinet |
Cabinet of India
via predicate surface "subsetOf"
ⓘ
surface form:
Council of Ministers of India
|
| Bernstein set | real line via predicate surface "subsetOf" ⓘ |
| Bernstein set | Polish spaces via homeomorphism to the real line via predicate surface "subsetOf" ⓘ |
| Thumb instruction set |
ARM
via predicate surface "subsetOf"
ⓘ
surface form:
ARM instruction set
|
| National Register of Historic Places listings in New York |
National Register of Historic Places
via predicate surface "subsetOf"
ⓘ
surface form:
National Register of Historic Places listings in the United States by state
|
| Chrome OS devices |
Chromebook
via predicate surface "includesSubclass"
ⓘ
surface form:
Chromebooks
|
| Chrome OS devices |
Chromebox
via predicate surface "includesSubclass"
ⓘ
surface form:
Chromeboxes
|
| Chrome OS devices |
Chromebase
via predicate surface "includesSubclass"
ⓘ
surface form:
Chromebases
|
| Chrome OS devices |
Chromebit
via predicate surface "includesSubclass"
ⓘ
surface form:
Chromebits
|
| Chrome OS devices |
ChromeOS tablet
via predicate surface "includesSubclass"
ⓘ
surface form:
Chrome OS tablets
|
| EMNIST |
EMNIST
self-linksurface differs
ⓘ
surface form:
EMNIST Balanced
|
| EMNIST |
EMNIST
self-linksurface differs
ⓘ
surface form:
EMNIST ByClass
|
| EMNIST |
EMNIST
self-linksurface differs
ⓘ
surface form:
EMNIST ByMerge
|
| EMNIST |
EMNIST
self-linksurface differs
ⓘ
surface form:
EMNIST Letters
|
| EMNIST |
EMNIST
self-linksurface differs
ⓘ
surface form:
EMNIST Digits
|
| EMNIST |
EMNIST
self-linksurface differs
ⓘ
surface form:
EMNIST MNIST
|
| ImageNet |
ImageNet
self-linksurface differs
ⓘ
surface form:
ImageNet-1K
|
| ImageNet |
ImageNet
self-linksurface differs
ⓘ
surface form:
ImageNet-21K
|
| ImageNet | ImageNet Large Scale Visual Recognition Challenge dataset ⓘ |
| CTL* | CTL ⓘ |
| CTL* | LTL ⓘ |
| CJK Unified Ideographs | CJK Unified Ideographs basic block ⓘ |