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 |
|---|---|
| CJK Unified Ideographs | CJK Unified Ideographs extensions ⓘ |
| Bianchi type cosmologies | locally rotationally symmetric Bianchi models ⓘ |
| Bianchi type cosmologies | diagonal Bianchi models ⓘ |
| Bianchi type cosmologies | tilted Bianchi models ⓘ |
| Bianchi type cosmologies | non-tilted Bianchi models ⓘ |
| COCO | training set ⓘ |
| COCO | validation set ⓘ |
| COCO | test set ⓘ |
| p-adic numbers | p-adic integers via predicate surface "hasSubring" ⓘ |
| p-adic numbers | Z_p via predicate surface "hasSubring" ⓘ |
| Oracle Locator | Oracle Spatial and Graph features via predicate surface "subsetOf" NERFINISHED ⓘ |
| Ordnance Survey Explorer maps | Explorer Active maps NERFINISHED ⓘ |
| Zodiac constellations | IAU 88 modern constellations via predicate surface "areSubsetOf" NERFINISHED ⓘ |
| NP-hardness | NP-complete problems are NP-hard and in NP via predicate surface "subsetRelation" ⓘ |
| NP-hardness | NP-hard problems may lie outside NP via predicate surface "subsetRelation" ⓘ |
| Marilyns of England | Marilyns of Great Britain via predicate surface "subsetOf" ⓘ |
| Trematoda | Digenea via predicate surface "includesSubclass" ⓘ |
| Trematoda | Aspidogastrea via predicate surface "includesSubclass" NERFINISHED ⓘ |
| Bayer designations | Greek-letter Bayer designations ⓘ |
| Bayer designations | Latin-letter Bayer designations ⓘ |
| CDAX | all shares listed in Prime Standard and General Standard via predicate surface "isSubsetOfUniverse" ⓘ |
| Kähler cone | nef cone (for projective manifolds, interior) via predicate surface "subsetOf" ⓘ |
| Kähler cone | positive cone via predicate surface "subsetOf" ⓘ |
|
special unitary group SU(n)
surface form:
SU(n)
|
U(n) via predicate surface "subsetOf" ⓘ |
|
special unitary group SU(n)
surface form:
SU(n)
|
SL(n,ℂ) via predicate surface "subsetOf" NERFINISHED ⓘ |
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
M_n(ℝ) via predicate surface "isOpenSubsetOf" ⓘ |
| Teachers halls of fame | professional halls of fame via predicate surface "areSubsetOf" ⓘ |
|
general linear group GL(n,C)
surface form:
GL(n,ℂ)
|
Mₙ(ℂ) with respect to standard topology via predicate surface "isOpenSubsetOf" ⓘ |
| Johnson solids | convex polyhedra with regular faces via predicate surface "areSubsetOf" ⓘ |
| Jacobson radical | R via predicate surface "subsetOf" ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
real numbers via predicate surface "subsetOf" ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
transcendental numbers via predicate surface "subsetOf" ⓘ |
| Big Three (Ivy League) | Ivy League universities via predicate surface "hasSubsetOf" NERFINISHED ⓘ |
| Antioch Primitive Baptist Church | Primitive Baptist churches in Georgia via predicate surface "subsetOf" ⓘ |
| Antioch Primitive Baptist Church | historic churches in Georgia via predicate surface "subsetOf" ⓘ |
| Antioch Primitive Baptist Church | rural churches in the United States via predicate surface "subsetOf" ⓘ |
| National Historic Landmarks in Arizona | National Historic Landmarks in the United States via predicate surface "subsetOf" NERFINISHED ⓘ |
|
complexity class EXPTIME
surface form:
EXPTIME
|
EXPSPACE via predicate surface "subsetOf" ⓘ |
|
complexity class BPP
surface form:
BPP
|
PP via predicate surface "subsetOf" ⓘ |
|
complexity class BPP
surface form:
BPP
|
PSPACE via predicate surface "subsetOf" NERFINISHED ⓘ |
|
complexity class BPP
surface form:
BPP
|
SUBEXP (under standard definitions) via predicate surface "subsetOf" ⓘ |
|
complexity class RP
surface form:
RP
|
BPP via predicate surface "subsetOf" NERFINISHED ⓘ |
|
complexity class RP
surface form:
RP
|
PSPACE via predicate surface "subsetOf" NERFINISHED ⓘ |
|
complexity class NL
surface form:
NL
|
P via predicate surface "subsetOf" ⓘ |
|
complexity class NL
surface form:
NL
|
PSPACE via predicate surface "subsetOf" NERFINISHED ⓘ |
| IBM code page 437 | ASCII via predicate surface "subsetOf" NERFINISHED ⓘ |
| MOF | Essential MOF NERFINISHED ⓘ |
| MOF | Complete MOF NERFINISHED ⓘ |
| National Treasure (selected buildings) | National Treasure castles NERFINISHED ⓘ |
| National Treasure (selected buildings) | National Treasure temples ⓘ |