areSupersetOf

P23697
predicate

Indicates that one set contains all elements of another set, possibly along with additional elements.

Try in SPARQL

All labels observed (5)

Label Occurrences
supersetOf 6
areSupersetOf canonical 3
isSupersetOf 3

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: areSupersetOf
Generated description
Indicates that one set contains all elements of another set, possibly along with additional elements.

Sample triples (15)

Subject Object
Unicode Scalar Values Unicode assigned characters ⓘ
Unicode Scalar Values Unicode noncharacters ⓘ
Unicode Scalar Values Unicode reserved code points ⓘ
constructible universe true via predicate surface "containsAllOrdinals" ⓘ
HuMP (Hundred Metre Prominence) classification all hills with at least 150 m prominence in same area via predicate surface "isSupersetOf" ⓘ
Hurwitz quaternions Lipschitz quaternions via predicate surface "isSupersetOf" ⓘ
EXPTIME
linked to: complexity class EXPTIME
P via predicate surface "supersetOf" ⓘ
EXPTIME
linked to: complexity class EXPTIME
NP via predicate surface "supersetOf" ⓘ
EXPTIME
linked to: complexity class EXPTIME
PSPACE via predicate surface "supersetOf" ⓘ
BPP
linked to: complexity class BPP
P via predicate surface "supersetOf" ⓘ
RP
linked to: complexity class RP
P via predicate surface "supersetOf" ⓘ
NL
linked to: complexity class NL
L via predicate surface "supersetOf" ⓘ
Borel set open sets of the space via predicate surface "containsAll" ⓘ
Borel set closed sets of the space via predicate surface "containsAll" ⓘ
Jsonnet JSON via predicate surface "isSupersetOf" ⓘ