generalizationOf

P2372
predicate

Indicates that one entity represents a broader, more general concept or category that subsumes or abstracts over another, more specific entity.

Try in SPARQL

All labels observed (30)

Label Occurrences
generalizes 742
generalizationOf canonical 334
hasGeneralization 185

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
Cesàro summation ordinary convergence of series via averaging of partial sums ⓘ
Abel summation ordinary sum of absolutely convergent series via predicate surface "generalizes" ⓘ
Borel summation ordinary summation of convergent series via predicate surface "generalizes" ⓘ
Tauberian theorems results of Alfred Tauber via predicate surface "generalizes" ⓘ
Lebesgue differentiation theorem Lebesgue density theorem for measurable sets NERFINISHED ⓘ
Vitali covering lemma elementary interval selection arguments in real analysis via predicate surface "generalizes" ⓘ
Bateman–Horn conjecture prime number theorem for arithmetic progressions via predicate surface "generalizes" ⓘ
Bateman–Horn conjecture Dirichlet’s theorem on arithmetic progressions via predicate surface "generalizes" NERFINISHED ⓘ
Bateman–Horn conjecture Bunyakovsky conjecture via predicate surface "generalizes" NERFINISHED ⓘ
Bateman–Horn conjecture Hardy–Littlewood prime k-tuple conjecture via predicate surface "generalizes" NERFINISHED ⓘ
Bateman–Horn conjecture Hardy–Littlewood conjecture F via predicate surface "generalizes" NERFINISHED ⓘ
Szegő limit theorem strong law of large numbers for eigenvalue distributions of Toeplitz matrices ⓘ
Szegő limit theorem results for non-Hermitian Toeplitz matrices via predicate surface "hasGeneralization" ⓘ
Szegő limit theorem results for block Toeplitz matrices via predicate surface "hasGeneralization" ⓘ
Szegő limit theorem results for multidimensional symbols via predicate surface "hasGeneralization" ⓘ
Euclidean geometry n-dimensional Euclidean space via predicate surface "hasGeneralization" ⓘ
Hardy space Hardy spaces on R^n via predicate surface "generalizedTo" ⓘ
Hardy space Hardy spaces on domains in ℂ^n via predicate surface "generalizedTo" ⓘ
Hardy inequality Hardy–Sobolev inequalities via predicate surface "generalizedBy" NERFINISHED ⓘ
Hardy inequality Hardy–Littlewood inequalities via predicate surface "generalizedBy" NERFINISHED ⓘ
Dissenters Protestant Nonconformity via predicate surface "broaderConcept" NERFINISHED ⓘ
Dissenters religious dissent via predicate surface "broaderConcept" ⓘ
Social Code Book I social law via predicate surface "higherLevelConcept" ⓘ
Hamiltonian cycle concept
surface form: Hamiltonian cycle
infinite graphs with appropriate definitions via predicate surface "generalizedTo" ⓘ
Jordan–Wigner transformation spin-fermion correspondence in one dimension ⓘ
extended Kalman filter Kalman filter via predicate surface "generalizes" NERFINISHED ⓘ
LTB metric Friedmann–Lemaître–Robertson–Walker metric via predicate surface "generalizes" NERFINISHED ⓘ
Langmuir adsorption isotherm Freundlich adsorption isotherm via predicate surface "generalizedBy" NERFINISHED ⓘ
Langmuir adsorption isotherm BET adsorption isotherm via predicate surface "generalizedBy" NERFINISHED ⓘ
Langmuir adsorption isotherm Temkin adsorption isotherm via predicate surface "generalizedBy" NERFINISHED ⓘ
global class field theory Kronecker–Weber theorem via predicate surface "generalizes" NERFINISHED ⓘ
global class field theory Hilbert class field theory via predicate surface "generalizes" NERFINISHED ⓘ
Hilbert class field Hilbert class field of an imaginary quadratic field generated by j-invariants ⓘ
Bogoliubov–Born–Green–Kirkwood–Yvon hierarchy BBGKY equations for higher-order correlations via predicate surface "generalizes" ⓘ
Clauser–Horne–Shimony–Holt inequality Bell inequality for two settings and two outcomes ⓘ
Kummer theory classical theory of cyclotomic fields via predicate surface "generalizes" ⓘ
Kummer theory Lubin–Tate theory via predicate surface "hasGeneralization" NERFINISHED ⓘ
Kummer theory Artin reciprocity via predicate surface "hasGeneralization" NERFINISHED ⓘ
Kummer theory Iwasawa theory via predicate surface "hasGeneralization" NERFINISHED ⓘ
Kummer congruences p-adic interpolation theorems via predicate surface "generalizedBy" ⓘ
Kummer congruences Iwasawa theory congruences via predicate surface "generalizedBy" ⓘ
Dirichlet's theorem on arithmetic progressions Euclid's theorem on the infinitude of primes via predicate surface "generalizes" NERFINISHED ⓘ
Dirichlet kernel Dirichlet kernels on compact groups NERFINISHED ⓘ
Dirichlet distribution beta distribution via predicate surface "generalizes" ⓘ
Dirichlet convolution Cauchy product for Dirichlet series coefficients NERFINISHED ⓘ
Dirichlet test some special cases of alternating series convergence ⓘ
Eulerian trail Eulerian circuit ⓘ
Roche–Riemann ellipsoids Jacobi ellipsoid via predicate surface "generalizes" NERFINISHED ⓘ
Roche–Riemann ellipsoids Maclaurin spheroid via predicate surface "generalizes" NERFINISHED ⓘ
Riemann ellipsoid Maclaurin spheroid via predicate surface "generalizes" NERFINISHED ⓘ