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 |
|---|---|
| Radon–Nikodym derivative | density of a probability distribution via predicate surface "generalizes" ⓘ |
|
martingale representation theorem
surface form:
Martingale representation theorem
|
representation of martingales in Brownian filtration ⓘ |
| Whitney approximation theorem | approximation of continuous functions on subsets of Euclidean space by smooth functions via predicate surface "generalizes" ⓘ |
| Euler’s polyhedron formula | Euler characteristic of topological spaces via predicate surface "generalizedBy" ⓘ |
| Euler’s polyhedron formula |
Euler’s polyhedron formula
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Euler–Poincaré formula
|
| spacetime manifold |
Minkowski space-time
via predicate surface "generalizes"
ⓘ
surface form:
Minkowski spacetime
|
| Ricci scalar | Gaussian curvature in higher dimensions via predicate surface "generalizes" ⓘ |
| Itô’s lemma | classical chain rule via predicate surface "generalizes" ⓘ |
| Steinmetz solid | intersection of more than two mutually perpendicular cylinders ⓘ |
| Steinmetz’s law of hysteresis |
Steinmetz’s law of hysteresis
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
generalized Steinmetz equation
|
| Steinmetz’s law of hysteresis |
Steinmetz’s law of hysteresis
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
improved generalized Steinmetz equation
|
| Euler–Lagrange equation |
Fermat’s principle of least time
via predicate surface "generalizes"
ⓘ
surface form:
Fermat’s principle in optics
|
| Euler–Lagrange equation | geodesic equation as shortest path condition via predicate surface "generalizes" ⓘ |
| Euler product formula for the Riemann zeta function |
Euler product formula for the Riemann zeta function
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Euler products for Dirichlet L-functions
|
| Euler product formula for the Riemann zeta function | Euler products for automorphic L-functions via predicate surface "generalizedBy" ⓘ |
| Euler–Maclaurin summation formula | trapezoidal rule error expansion via predicate surface "generalizes" ⓘ |
| Euler’s method for numerical integration | Runge–Kutta methods via predicate surface "isSpecialCaseOf" ⓘ |
| Euler’s method for numerical integration | linear multistep methods with one step via predicate surface "isSpecialCaseOf" ⓘ |
| Euler’s method for numerical integration | higher-order Runge–Kutta methods via predicate surface "isGeneralizedBy" ⓘ |
| Euler’s method for numerical integration | improved Euler method via predicate surface "isGeneralizedBy" ⓘ |
| Euler’s method for numerical integration | Heun’s method via predicate surface "isGeneralizedBy" ⓘ |
| Euler’s method for numerical integration | midpoint method via predicate surface "isGeneralizedBy" ⓘ |
| Euler’s method for numerical integration | classical fourth-order Runge–Kutta method via predicate surface "isGeneralizedBy" ⓘ |
|
Abelian groups
surface form:
Abelian group
|
group via predicate surface "isSpecialCaseOf" ⓘ |
|
Abelian groups
surface form:
Abelian group
|
cyclic group via predicate surface "generalizes" ⓘ |
|
Abelian groups
surface form:
Abelian group
|
additive group of a ring via predicate surface "generalizes" ⓘ |
|
Abelian groups
surface form:
Abelian group
|
additive group of a vector space via predicate surface "generalizes" ⓘ |
| Tucker’s lemma | Ky Fan’s lemma via predicate surface "generalizedBy" ⓘ |
| Karush–Kuhn–Tucker conditions | method of Lagrange multipliers via predicate surface "generalizes" ⓘ |
| Klein–Nishina formula |
Thomson cross section
via predicate surface "generalizes"
ⓘ
surface form:
Thomson scattering formula
|
| Lorentzian geometry | Riemannian geometry to Lorentzian signature ⓘ |
| Landau theory of second-order phase transitions |
Ginzburg–Landau theory of superconductivity
via predicate surface "generalizedTo"
ⓘ
surface form:
Landau–Ginzburg theory
|
| Amir | title of nobility via predicate surface "broaderConcept" ⓘ |
| Amir | military rank via predicate surface "broaderConcept" ⓘ |
| Schwarzschild criterion | Ledoux criterion via predicate surface "isSpecialCaseOf" ⓘ |
| Gödel's incompleteness theorems | results using only simple consistency instead of ω-consistency via predicate surface "laterGeneralizedBy" ⓘ |
| Tomonaga–Schwinger equation |
Schrödinger equation
ⓘ
surface form:
time-dependent Schrödinger equation
|
| ideal gas law | Boyle's law via predicate surface "generalizes" ⓘ |
| ideal gas law | Charles's law via predicate surface "generalizes" ⓘ |
| ideal gas law |
Charles's law
via predicate surface "generalizes"
ⓘ
surface form:
Gay-Lussac's law
|
| ideal gas law | Avogadro's law via predicate surface "generalizes" ⓘ |
|
Born approximation in scattering theory
surface form:
Born approximation
|
relativistic scattering in quantum field theory via predicate surface "canBeGeneralizedTo" ⓘ |
| Bethe formula for stopping power | classical stopping power expressions ⓘ |
| Bethe–Salpeter equation |
Schrödinger equation
via predicate surface "generalizes"
ⓘ
surface form:
Schrödinger equation to relativistic bound states
|
| Boyer–Lindquist coordinates | Schwarzschild coordinates via predicate surface "generalizes" ⓘ |
| Kerr–Schild coordinates |
Kerr–Schild coordinates
self-linksurface differs
ⓘ
surface form:
Kerr–Schild ansatz
|
| Ulam stability | Hyers–Ulam–Rassias stability via predicate surface "generalizedBy" ⓘ |
| Atiyah–Singer index theorem | Riemann–Roch theorem via predicate surface "generalizes" ⓘ |
| Atiyah–Singer index theorem | Hirzebruch–Riemann–Roch theorem via predicate surface "generalizes" ⓘ |
| Atiyah–Singer index theorem |
Gauss–Bonnet theorem (early form)
via predicate surface "generalizes"
ⓘ
surface form:
Gauss–Bonnet theorem
|