generalizationTo
P57966
predicate
Indicates that one concept or entity is a more general, abstract, or encompassing version of another, capturing a broader category or superset relationship.
All labels observed (9)
| Label | Occurrences |
|---|---|
| generalizesTo | 17 |
| broaderTerm | 3 |
| broaderTermOf | 2 |
| generalizationTo canonical | 2 |
| generalizesConcept | 2 |
| generalizesFrom | 2 |
| moreGeneralThan | 2 |
| dimensionGeneralization | 1 |
| isGeneralizedTo | 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: generalizationTo
Generated description
Indicates that one concept or entity is a more general, abstract, or encompassing version of another, capturing a broader category or superset relationship.
Sample triples (32)
| Subject | Object |
|---|---|
| Hardy–Littlewood maximal function | metric measure spaces ⓘ |
| Hardy–Littlewood maximal function | spaces of homogeneous type ⓘ |
| epsilon–delta definition of limit | metric spaces via predicate surface "generalizesTo" ⓘ |
| epsilon–delta definition of limit | topological spaces via predicate surface "generalizesTo" ⓘ |
| Hooke's law | tensor form in continuum mechanics via predicate surface "dimensionGeneralization" ⓘ |
| Peano existence theorem | systems of ordinary differential equations via predicate surface "generalizesTo" ⓘ |
| Peano existence theorem | n-dimensional state space via predicate surface "generalizesTo" ⓘ |
| Vandermonde's identity |
Vandermonde's identity
via predicate surface "generalizesTo"
self-linksurface differs
ⓘ
surface form:
Chu–Vandermonde identity
|
| Green–Tao theorem | Szemerédi's theorem via predicate surface "generalizesFrom" ⓘ |
| Ledoux criterion | Schwarzschild criterion via predicate surface "moreGeneralThan" ⓘ |
| Wirtinger presentation of knot groups | Wirtinger presentation of link groups via predicate surface "generalizesTo" ⓘ |
| Active Service | active-duty military service via predicate surface "broaderTermOf" ⓘ |
| Active Service | active public service employment via predicate surface "broaderTermOf" ⓘ |
|
Kummer surfaces
surface form:
Kummer surface
|
higher-dimensional Kummer varieties via predicate surface "generalizesTo" ⓘ |
| Fourier series | Fourier transform via predicate surface "generalizesTo" NERFINISHED ⓘ |
| Fourier series | discrete-time Fourier series via predicate surface "generalizesTo" ⓘ |
| Fourier series | Fourier series on groups via predicate surface "generalizesTo" ⓘ |
| Drell–Hearn–Gerasimov sum rule | generalized GDH sum rule at finite momentum transfer via predicate surface "isGeneralizedTo" ⓘ |
| Capet | European royal dynastic surnames via predicate surface "broaderTerm" ⓘ |
| Laue equations | Bragg’s law via predicate surface "moreGeneralThan" NERFINISHED ⓘ |
| Mordell–Weil theorem | elliptic curves via predicate surface "generalizesFrom" ⓘ |
| Mordell–Weil theorem | abelian varieties via predicate surface "generalizesTo" ⓘ |
| von Neumann neighborhood | von Neumann neighborhood of radius r via predicate surface "generalizesTo" ⓘ |
| Pauli group | n-qubit Pauli group via predicate surface "generalizesTo" NERFINISHED ⓘ |
| T-duality | mirror symmetry in certain contexts via predicate surface "generalizesTo" ⓘ |
| Clifford analysis | holomorphic functions via predicate surface "generalizesConcept" ⓘ |
| Clifford analysis | Cauchy–Riemann equations via predicate surface "generalizesConcept" NERFINISHED ⓘ |
| Wirtinger derivatives | several complex variables z_1,\dots,z_n via predicate surface "generalizesTo" ⓘ |
| Rex Britanniae | royal titulature via predicate surface "broaderTerm" ⓘ |
| Rex Britanniae | Latin royal styles via predicate surface "broaderTerm" ⓘ |
| Jensen–Shannon divergence | more than two distributions via predicate surface "generalizesTo" ⓘ |
| Bockstein homomorphism | cohomology theories represented by spectra via predicate surface "generalizesTo" ⓘ |