generalizationOf
P2372
predicate
Indicates that one entity represents a broader, more general concept or category that subsumes or abstracts over another, more specific entity.
All labels observed (30)
| Label | Occurrences |
|---|---|
| generalizes | 742 |
| generalizationOf canonical | 334 |
| hasGeneralization | 185 |
| generalizedBy | 163 |
| isSpecialCaseOf | 102 |
| generalization | 83 |
| generalizedTo | 66 |
| superclass | 61 |
| broaderConcept | 32 |
| isGeneralizationOf | 21 |
| isGeneralizedBy | 16 |
| broaderGrouping | 14 |
| canBeGeneralizedTo | 13 |
| generalize | 12 |
| isGeneric | 9 |
| hasGeneralizations | 7 |
| largelyCorrespondsTo | 7 |
| hasBroaderTerm | 6 |
| hasBroaderConcept | 4 |
| higherLevelConcept | 4 |
| hasSuperGenre | 2 |
| isHypernymOf | 2 |
| istÜbergeordnetBegriffVon | 2 |
| Oberbegriff | 1 |
| broadensConceptOf | 1 |
| generalizationTarget | 1 |
| generalizedFrom | 1 |
| isGeneralizedIn | 1 |
| laterGeneralizedBy | 1 |
| typeOfGeneralization | 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: generalizationOf
Generated description
Indicates that one entity represents a broader, more general concept or category that subsumes or abstracts over another, more specific entity.
Sample triples (1,894)
| Subject | Object |
|---|---|
| Edgeworth expansion | normal approximation in the central limit theorem via predicate surface "generalizes" ⓘ |
| Amniota | Tetrapoda via predicate surface "superclass" ⓘ |
| Lyapunov inequality | certain energy-type inequalities in analysis ⓘ |
| Jacobi elliptic functions | trigonometric functions via predicate surface "generalizes" ⓘ |
| Jacobi triple product | Euler’s identity for sine product via predicate surface "generalizes" ⓘ |
| Jacobi polynomials | Legendre polynomials via predicate surface "generalizes" ⓘ |
| Jacobi polynomials | Chebyshev polynomials of the first kind via predicate surface "generalizes" ⓘ |
| Jacobi polynomials | Chebyshev polynomials of the second kind via predicate surface "generalizes" ⓘ |
| Jacobi polynomials | Gegenbauer polynomials via predicate surface "generalizes" ⓘ |
| Jacobi bracket | Poisson bracket via predicate surface "generalizes" ⓘ |
| Jacobi’s four-square theorem | earlier results on sums of two squares ⓘ |
| Jacobi matrix | discrete one-dimensional Schrödinger operator ⓘ |
| Borda count | plurality rule as special case of scoring vectors ⓘ |
| Borda count | anti-plurality rule as special case of scoring vectors ⓘ |
| small-gain theorem | classical gain margin ideas via predicate surface "generalizes" ⓘ |
| Kepler–Poinsot polyhedra | convex regular polyhedra via predicate surface "generalize" ⓘ |
| Nambu–Goto action | relativistic point particle action via predicate surface "generalizes" ⓘ |
| Hotelling’s T-squared distribution | Student’s t-distribution via predicate surface "isGeneralizationOf" ⓘ |
| Dirac delta function |
Kronecker delta
ⓘ
surface form:
Kronecker delta (discrete case)
|
| Menger sponge | Sierpiński carpet to three dimensions ⓘ |
| Menger curvature | curvature to metric spaces without differentiable structure via predicate surface "generalizes" ⓘ |
| Menger curvature | can be defined in any metric space using only distances via predicate surface "generalization" ⓘ |
| Hicks–Kaldor compensation criterion | Pareto improvement concept via predicate surface "generalizes" ⓘ |
| M-theory | superstring theory via predicate surface "generalizes" ⓘ |
| M-theory | Type I string theory via predicate surface "generalizes" ⓘ |
| M-theory | Type IIA string theory via predicate surface "generalizes" ⓘ |
| M-theory |
Type IIA string theory
via predicate surface "generalizes"
ⓘ
surface form:
Type IIB string theory
|
| M-theory |
SO(32) heterotic string theory
via predicate surface "generalizes"
ⓘ
surface form:
heterotic SO(32) string theory
|
| M-theory |
E8×E8 heterotic string theory
via predicate surface "generalizes"
ⓘ
surface form:
heterotic E8×E8 string theory
|
| Hasse–Weil zeta function | Riemann zeta function via predicate surface "generalizes" ⓘ |
| Hasse bound for elliptic curves |
Weil conjectures
via predicate surface "isSpecialCaseOf"
ⓘ
surface form:
Weil conjectures for curves
|
| Hasse bound for elliptic curves | Riemann hypothesis for curves over finite fields via predicate surface "isSpecialCaseOf" ⓘ |
| Hasse bound for elliptic curves | Weil bounds for curves of higher genus via predicate surface "generalization" ⓘ |
| Hasse bound for elliptic curves | Hasse–Weil bound for abelian varieties via predicate surface "generalization" ⓘ |
| Jacobean architecture | Renaissance architecture in Britain via predicate surface "broaderConcept" ⓘ |
| Fisher's exact test | r x c contingency tables via predicate surface "canBeGeneralizedTo" ⓘ |
| Fisher's linear discriminant | multi-class linear discriminant analysis via predicate surface "generalization" ⓘ |
| Chebotarev density theorem | prime number theorem via predicate surface "generalizes" ⓘ |
| spacetime algebra | three-dimensional geometric algebra via predicate surface "generalizes" ⓘ |
| spacetime algebra | Pauli algebra via predicate surface "generalizes" ⓘ |
| spacetime algebra | Dirac algebra via predicate surface "generalizes" ⓘ |
| geometric calculus | vector calculus via predicate surface "generalizes" ⓘ |
| geometric calculus | tensor calculus via predicate surface "generalizes" ⓘ |
| geometric calculus | differential forms calculus via predicate surface "generalizes" ⓘ |
| Halley’s method for solving equations | Newton’s method ⓘ |
| Tincidae | Osteichthyes via predicate surface "superclass" ⓘ |
| Landé g-factor | orbital g-factor via predicate surface "generalizes" ⓘ |
| Landé g-factor | spin g-factor via predicate surface "generalizes" ⓘ |
| Born–Infeld electrodynamics |
Born–Infeld electrodynamics
via predicate surface "generalizedTo"
self-linksurface differs
ⓘ
surface form:
Dirac–Born–Infeld action
|
| Cabibbo–Kobayashi–Maskawa matrix | Cabibbo angle description of quark mixing via predicate surface "generalizes" ⓘ |