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 |
|---|---|
| National Treasure (selected buildings) | National Treasure shrines NERFINISHED ⓘ |
| Debian non-free component | non-free-firmware (in newer Debian releases) ⓘ |
| Sierpiński carpet | Euclidean plane via predicate surface "subsetOf" NERFINISHED ⓘ |
| Sierpiński carpet | unit square [0,1]×[0,1] via predicate surface "subsetOf" ⓘ |
| Pasi | Adi via predicate surface "subsetOf" NERFINISHED ⓘ |
| National Historic Landmarks in Tennessee | National Historic Landmarks in the United States via predicate surface "subsetOf" NERFINISHED ⓘ |
|
SSE4
surface form:
SSE4.1
|
SSE4 via predicate surface "subsetOf" NERFINISHED ⓘ |
|
SSE4
surface form:
SSE4.2
|
SSE4 via predicate surface "subsetOf" NERFINISHED ⓘ |
| Sony FE lenses | Sony FE G Master lenses NERFINISHED ⓘ |
| Sony FE lenses | Sony FE G lenses NERFINISHED ⓘ |
| Sony FE lenses | Sony FE Zeiss lenses NERFINISHED ⓘ |
| Sony FE lenses | Sony FE standard lenses NERFINISHED ⓘ |
|
Blaschke products
surface form:
Blaschke product
|
Hardy space H^∞ via predicate surface "subsetOf" ⓘ |
|
Blaschke products
surface form:
Blaschke product
|
Hardy spaces H^p for 0 < p ≤ ∞ via predicate surface "subsetOf" ⓘ |
| National Historic Landmarks in Wisconsin | National Historic Landmarks in the United States via predicate surface "subsetOf" NERFINISHED ⓘ |
| Imperial Japanese Navy cruisers | Imperial Japanese Navy armored cruisers via predicate surface "includesSubclass" NERFINISHED ⓘ |
| Imperial Japanese Navy cruisers | Imperial Japanese Navy protected cruisers via predicate surface "includesSubclass" NERFINISHED ⓘ |
| Imperial Japanese Navy cruisers | Imperial Japanese Navy light cruisers via predicate surface "includesSubclass" NERFINISHED ⓘ |
| Imperial Japanese Navy cruisers | Imperial Japanese Navy heavy cruisers via predicate surface "includesSubclass" NERFINISHED ⓘ |
| Schwartz space | C^∞(ℝ^n) via predicate surface "subsetOf" ⓘ |
| Schwartz space | L^p(ℝ^n) for all 1 ≤ p ≤ ∞ via predicate surface "subsetOf" ⓘ |
| National Historic Landmarks in Puerto Rico | National Historic Landmarks in the United States via predicate surface "subsetOf" ⓘ |
| IRAS Faint Source Catalog | IRAS Faint Source Survey galaxy sample ⓘ |
| Lebesgue measurable set | power set of ℝ via predicate surface "subsetOf" ⓘ |
| Lebesgue measurable set | σ-algebra of Lebesgue measurable subsets of ℝ via predicate surface "subsetOf" ⓘ |