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 |
|---|---|
| d’Alembert’s formula | to piecewise smooth initial data via predicate surface "generalizes" ⓘ |
| Zariski topology | classical Zariski topology on affine varieties via predicate surface "generalizes" ⓘ |
| Hahn series | Laurent series via predicate surface "generalizes" ⓘ |
| Hahn series | Puiseux series via predicate surface "generalizes" ⓘ |
| Hahn series | formal power series with integer exponents via predicate surface "generalizes" ⓘ |
| Hahn series | generalized power series via predicate surface "isSpecialCaseOf" ⓘ |
| Laplace law of error | generalized error distribution via predicate surface "isSpecialCaseOf" ⓘ |
| Noether charge | Noether charge in curved spacetime via predicate surface "generalizedTo" ⓘ |
| Noether charge | Noether charge for higher-form symmetries via predicate surface "generalizedTo" ⓘ |
| Conway chained arrow notation | iterated exponentiation via predicate surface "generalizes" ⓘ |
| Conway chained arrow notation | power towers via predicate surface "generalizes" ⓘ |
| Bloch waves | plane waves in free space ⓘ |
| Minkowski interval | spacetime interval in general relativity via predicate surface "generalizedBy" ⓘ |
| Berlekamp–Massey algorithm | methods for solving linear recurrences from sequences ⓘ |
| Poincaré–Birkhoff fixed-point theorem | earlier results on periodic orbits in annular regions ⓘ |
| Onsager reciprocal relations |
Onsager reciprocal relations
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Onsager–Casimir relations
|
| Onsager algebra | symmetry algebra of the Ising model ⓘ |
| Onsager–Machlup function | non-Gaussian noise via predicate surface "generalizedTo" ⓘ |
| Onsager–Machlup function | multiplicative noise via predicate surface "generalizedTo" ⓘ |
| Onsager–Machlup function | manifold-valued stochastic processes via predicate surface "generalizedTo" ⓘ |
| Weingarten map | curvature of plane curves to higher dimensions ⓘ |
| Moore neighborhood | can be defined for higher radii r > 1 via predicate surface "generalization" ⓘ |
| Jones polynomial | Alexander polynomial in some contexts ⓘ |
| Conway skein triple (L₊, L₋, L₀) | skein triples for other link polynomials ⓘ |
| Farey tessellation | tessellations associated to other Fuchsian groups via predicate surface "generalizedBy" ⓘ |
| Kakutani’s random ergodic theorem |
ergodic theorem
via predicate surface "generalizes"
ⓘ
surface form:
Birkhoff’s pointwise ergodic theorem
|
| Kakutani’s random ergodic theorem |
ergodic theorem
via predicate surface "generalizes"
ⓘ
surface form:
von Neumann’s mean ergodic theorem
|
| Cauchy–Kovalevskaya theorem | existence and uniqueness theorems for PDEs via predicate surface "isSpecialCaseOf" ⓘ |
| Cauchy–Kovalevskaya theorem | results for systems of analytic PDEs via predicate surface "hasGeneralization" ⓘ |
| Cauchy–Kovalevskaya theorem |
Cauchy–Kovalevskaya theorem
via predicate surface "hasGeneralization"
self-linksurface differs
ⓘ
surface form:
Cauchy–Kovalevskaya theorem on manifolds
|
| Legendre symbol | Jacobi symbol via predicate surface "generalization" ⓘ |
| quadratic reciprocity law | higher reciprocity laws via predicate surface "generalizedBy" ⓘ |
| quadratic reciprocity law | cubic reciprocity law via predicate surface "generalizedBy" ⓘ |
| quadratic reciprocity law | quartic reciprocity law via predicate surface "generalizedBy" ⓘ |
| quadratic reciprocity law | Artin reciprocity law via predicate surface "generalizedBy" ⓘ |
| Noether field | fixed field of permutation action on variables ⓘ |
| B-splines | Bezier curves ⓘ |
| B-splines |
Bezier curves
ⓘ
surface form:
Bezier surfaces
|
| Kakutani equivalence in ergodic theory | isomorphism of first return maps via predicate surface "generalizes" ⓘ |
| HOMFLY-PT polynomial | Alexander polynomial via predicate surface "generalizes" ⓘ |
| HOMFLY-PT polynomial | Jones polynomial via predicate surface "generalizes" ⓘ |
| Archaeopteryx lithographica | Tetrapoda via predicate surface "superclass" ⓘ |
| Diapsida |
Vertebrata
via predicate surface "superclass"
ⓘ
surface form:
Tetrapoda
|
| Alexandrov–Čech cohomology | nerve-based computations of cohomology via predicate surface "generalizes" ⓘ |
| Bernoulli equation | energy equation for real fluids via predicate surface "generalization" ⓘ |
| Hodge Conjecture | general philosophy relating topology and algebraic geometry via predicate surface "isSpecialCaseOf" ⓘ |
| Nuevo Mundo | geopolitical regions via predicate surface "broaderConcept" ⓘ |
| Nuevo Mundo | Eurocentric world division via predicate surface "broaderConcept" ⓘ |
| Lindeberg–Feller central limit theorem | classical central limit theorem via predicate surface "generalizes" ⓘ |
| Lindeberg–Feller central limit theorem | Lyapunov central limit theorem via predicate surface "generalizes" ⓘ |