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 |
|---|---|
| Kanji | jōyō kanji ⓘ |
| Kanji | jinmeiyō kanji ⓘ |
| BEL | ISO 3166-1 via predicate surface "belongsToSubset" ⓘ |
| Actinopterygii |
Chondrostei
via predicate surface "includesSubclass"
ⓘ
linked to:
Actinopterygii
|
| Actinopterygii | Cladistia via predicate surface "includesSubclass" ⓘ |
| Actinopterygii | Neopterygii via predicate surface "includesSubclass" ⓘ |
| Ada (programming language) |
SPARK Ada
ⓘ
linked to:
Ada (programming language)
|
|
National Historic Landmark
linked to:
NHL
|
National Register of Historic Places listings
via predicate surface "subsetOf"
ⓘ
linked to:
National Register of Historic Places
|
| von Neumann universe | for each α, V_α ⊂ V via predicate surface "subsetRelation" ⓘ |
| Annelida |
Oligochaeta
via predicate surface "includesSubclass"
ⓘ
linked to:
Clitellata
|
| Annelida | Hirudinea via predicate surface "includesSubclass" ⓘ |
| Unicode Scalar Values |
Unicode code points
via predicate surface "areSubsetOf"
ⓘ
linked to:
Unicode Scalar Values
|
| Gaussian integers | complex numbers via predicate surface "subsetOf" ⓘ |
| Gaussian integers | ℂ via predicate surface "subsetOf" ⓘ |
| Surreal numbers | day-n numbers (numbers born on day n in the construction) ⓘ |
| Portable Document Format | PDF/A ⓘ |
| Portable Document Format | PDF/X ⓘ |
| Portable Document Format | PDF/E ⓘ |
| Portable Document Format | PDF/UA ⓘ |
| Portable Document Format |
PDF/VT
ⓘ
linked to:
Portable Document Format
|
| Platonic solids | regular polyhedra via predicate surface "areSubsetOf" ⓘ |
| Platonic solids | convex polyhedra via predicate surface "areSubsetOf" ⓘ |
| Alexandrian text-type | proto-Alexandrian text ⓘ |
| Byzantine text-type |
Kappa (K) family of manuscripts
ⓘ
linked to:
Byzantine text-type
|
| Byzantine text-type | Byzantine subgroups identified by von Soden and others ⓘ |
| Shakespeare quartos | good quartos ⓘ |
| Shakespeare quartos | bad quartos ⓘ |
| Shakespeare quartos | Pavier quartos ⓘ |
| Shakespeare quartos | first quartos ⓘ |
| Shakespeare quartos | second quartos ⓘ |
| Riemann integral | Lebesgue integrable functions on a finite interval via predicate surface "subsetOf" ⓘ |
| spacetime manifold | spacelike hypersurfaces ⓘ |
| spacetime manifold | timelike curves ⓘ |
| spacetime manifold | null curves ⓘ |
| Separatists | Pilgrims via predicate surface "subsetIncludes" ⓘ |
| Java Platform, Standard Edition |
Java Platform, Enterprise Edition
via predicate surface "subsetOf"
ⓘ
linked to:
Jakarta EE
|
| Zermelo set theory |
Zermelo–Fraenkel set theory with choice
via predicate surface "subsetOf"
ⓘ
linked to:
Zermelo set theory
|
| UC Berkeley faculty | faculty of the University of California via predicate surface "subsetOf" ⓘ |
|
Basic Multilingual Plane
linked to:
BMP
|
Unicode blocks ⓘ |
| UK Albums Chart top 5 | UK Albums Chart number-one albums ⓘ |
| Cestoda | Eucestoda via predicate surface "includesSubclass" ⓘ |
| Cestoda | Cestodaria via predicate surface "includesSubclass" ⓘ |
| Mammalia | Monotremata via predicate surface "includesSubclass" ⓘ |
| Mammalia | Marsupialia via predicate surface "includesSubclass" ⓘ |
| Mammalia | Eutheria via predicate surface "includesSubclass" ⓘ |
| National Historic Landmarks in Virginia |
National Historic Landmarks in the United States
via predicate surface "subsetOf"
ⓘ
linked to:
National Historic Landmark
|
| Cantor set | real numbers via predicate surface "subsetOf" ⓘ |
| Cantor set | interval [0,1] via predicate surface "subsetOf" ⓘ |
| OWL 2 RL | OWL 2 DL constructs via predicate surface "hasSubsetOf" ⓘ |
| National Historic Landmarks in Washington, D.C. |
National Historic Landmarks in the United States
via predicate surface "subsetOf"
ⓘ
linked to:
National Historic Landmark
|