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 |
|---|---|
| Reichenbach synchronization schemes |
Einstein synchronization convention
via predicate surface "generalizes"
ⓘ
surface form:
Einstein synchronization
|
|
OU process
surface form:
Ornstein–Uhlenbeck process
|
discrete-time AR(1) model to continuous time via predicate surface "generalizes" ⓘ |
|
OU process
surface form:
Ornstein–Uhlenbeck process
|
linear Gaussian Markov process via predicate surface "isSpecialCaseOf" ⓘ |
| Chapman–Kolmogorov equation | law of total probability for Markov processes via predicate surface "generalizes" ⓘ |
| Hamilton’s maximum principle | classical maximum principle via predicate surface "generalizes" ⓘ |
| Veblen hierarchy | Cantor normal form via predicate surface "generalizes" ⓘ |
| Veblen hierarchy | iterated exponential functions on ordinals via predicate surface "generalizes" ⓘ |
| Atiyah–Hirzebruch spectral sequence | cellular spectral sequence via predicate surface "generalizes" ⓘ |
| Serre spectral sequence | Leray spectral sequence in topological setting via predicate surface "generalizes" ⓘ |
| Atiyah–Bott fixed-point theorem | Lefschetz fixed-point theorem via predicate surface "generalizes" ⓘ |
| Atiyah–Bott fixed-point theorem |
Lefschetz fixed-point theorem
via predicate surface "generalizes"
ⓘ
surface form:
Holomorphic Lefschetz fixed-point formula
|
| mental hygiene movement | history of psychiatry via predicate surface "broaderConcept" ⓘ |
| mental hygiene movement | history of mental health care via predicate surface "broaderConcept" ⓘ |
| mental hygiene movement | history of public health via predicate surface "broaderConcept" ⓘ |
| generalized Riemann hypothesis | Riemann zeta function case via predicate surface "generalizes" ⓘ |
| Dirichlet L-functions | Riemann zeta function via predicate surface "generalizes" ⓘ |
| Dirichlet L-functions | L-functions attached to Grössencharacters via predicate surface "hasGeneralization" ⓘ |
| Hilbert–Pólya conjecture | spectral interpretations for other L-functions via predicate surface "generalizationTarget" ⓘ |
| Montgomery's pair correlation conjecture | pair correlation conjectures for zeros of general L-functions via predicate surface "generalizedBy" ⓘ |
| prime number theorem | prime number theorem for arithmetic progressions via predicate surface "generalizedTo" ⓘ |
| prime number theorem | Chebotarev density theorem via predicate surface "generalizedTo" ⓘ |
| Fundamental Theorem of Calculus | Lebesgue version of the fundamental theorem of calculus via predicate surface "generalizedBy" ⓘ |
| Fundamental Theorem of Calculus | Stieltjes integral versions via predicate surface "generalizedBy" ⓘ |
| Fundamental Theorem of Calculus | Henstock–Kurzweil integral versions via predicate surface "generalizedBy" ⓘ |
| Simpson's rule | multiple integrals via iterated application via predicate surface "generalizedTo" ⓘ |
| Riemann–Stieltjes integral | Riemann integral via predicate surface "generalizes" ⓘ |
| Henstock–Kurzweil integral | Riemann integral on bounded intervals via predicate surface "generalizes" ⓘ |
| Henstock–Kurzweil integral | Lebesgue integral on measurable functions via predicate surface "generalizes" ⓘ |
| Kleinian group | Fuchsian group via predicate surface "generalizes" ⓘ |
| uniformization theorem | Riemann mapping theorem via predicate surface "generalizes" ⓘ |
| Schwarz lemma | Schwarz–Pick theorem via predicate surface "generalization" ⓘ |
| Schwarz lemma |
Schwarz–Pick theorem
via predicate surface "generalization"
ⓘ
surface form:
Schwarz–Ahlfors lemma
|
|
Montel theorem
surface form:
Montel's theorem
|
Montel theorem
self-linksurface differs
ⓘ
surface form:
Arzelà–Ascoli theorem for holomorphic functions
|
| Hirzebruch–Riemann–Roch theorem | Riemann–Roch theorem via predicate surface "generalizes" ⓘ |
| Hirzebruch–Riemann–Roch theorem |
Riemann–Roch theorem
via predicate surface "generalizes"
ⓘ
surface form:
Riemann–Roch theorem for curves
|
| Hirzebruch–Riemann–Roch theorem |
Riemann–Roch theorem
via predicate surface "generalizes"
ⓘ
surface form:
Riemann–Roch theorem for divisors on algebraic curves
|
| Fourier inversion theorem | inversion formulas for Fourier series via predicate surface "generalizes" ⓘ |
| Caputo derivative | integer-order derivative via predicate surface "generalizes" ⓘ |
| Weyl fractional integral | classical integral via predicate surface "generalizes" ⓘ |
| Weyl fractional integral | Riemann integral via predicate surface "generalizes" ⓘ |
| Weyl fractional integral | Weyl fractional operators via predicate surface "isSpecialCaseOf" ⓘ |
| Hadamard fractional integral | classical integral via predicate surface "generalizes" ⓘ |
| Hadamard fractional integral | Riemann integral via predicate surface "generalizes" ⓘ |
| Metropolis algorithm |
Metropolis algorithm
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Metropolis–Hastings algorithm
|
| Hamiltonian Monte Carlo |
Hamiltonian Monte Carlo
via predicate surface "generalization"
self-linksurface differs
ⓘ
surface form:
Riemannian Manifold Hamiltonian Monte Carlo
|
| Hamiltonian Monte Carlo | No-U-Turn Sampler via predicate surface "generalization" ⓘ |
|
Markov random fields
surface form:
Markov random field
|
Markov chain to higher dimensions via predicate surface "isGeneralizationOf" ⓘ |
| Catmull–Rom spline |
Catmull–Rom spline
via predicate surface "canBeGeneralizedTo"
self-linksurface differs
ⓘ
surface form:
non-uniform Catmull–Rom spline
|
| Catmull–Rom spline | closed Catmull–Rom spline via predicate surface "canBeGeneralizedTo" ⓘ |
| Dynkin formula |
Kolmogorov backward equation
ⓘ
surface form:
Kolmogorov backward equation for expectations
|