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
Todd class Todd genus via predicate surface "generalizes" ⓘ
Dirac operator Dirac equation via predicate surface "generalizes" ⓘ
Dirac operator flat-space Dirac operator on Minkowski space via predicate surface "generalizes" ⓘ
families index theorem Atiyah–Singer index theorem ⓘ
equivariant index theorem Atiyah–Singer index theorem via predicate surface "generalizes" ⓘ
Steinhaus theorem results about density points of measurable sets ⓘ
Steinhaus theorem Steinhaus theorem via predicate surface "hasGeneralization" self-linksurface differs ⓘ
surface form: Steinhaus theorem for locally compact abelian groups
Steinhaus theorem Steinhaus theorem via predicate surface "hasGeneralization" self-linksurface differs ⓘ
surface form: Steinhaus–Weil theorem
Steinhaus chessboard theorem results on colored paths in higher-dimensional grids via predicate surface "hasGeneralization" ⓘ
Steinhaus chessboard theorem variants for more than two colors via predicate surface "hasGeneralization" ⓘ
Tychonoff theorem for products of compact spaces Borel–Lebesgue theorem via predicate surface "generalizes" ⓘ
surface form: Heine–Borel theorem for products of closed bounded intervals in R
Banach–Tarski paradox paradoxical decompositions of any bounded subset of R^3 with non-empty interior via predicate surface "hasGeneralization" ⓘ
measure theory Riemann integral via predicate surface "generalizes" ⓘ
surface form: Riemann integration
Larmor formula Larmor formula via predicate surface "generalizedBy" self-linksurface differs ⓘ
surface form: Liénard formula for relativistic charges
Thales’ theorem inscribed angle theorem for arbitrary arcs via predicate surface "hasGeneralization" ⓘ
Zangezur Syunik Province via predicate surface "largelyCorrespondsTo" ⓘ
Finite Operator Calculus classical umbral calculus via predicate surface "generalizes" ⓘ
Rota–Baxter algebra integration operator via predicate surface "generalizes" ⓘ
Rota–Baxter algebra summation operator via predicate surface "generalizes" ⓘ
Rota–Baxter algebra Rota–Baxter operator on nonassociative algebras via predicate surface "hasGeneralization" ⓘ
Rota–Baxter algebra Rota–Baxter algebra via predicate surface "hasGeneralization" self-linksurface differs ⓘ
surface form: Rota–Baxter coalgebra
Rota–Baxter algebra Rota–Baxter bialgebra via predicate surface "hasGeneralization" ⓘ
Rota–Baxter algebra Rota–Baxter algebra via predicate surface "hasGeneralization" self-linksurface differs ⓘ
surface form: Rota–Baxter Hopf algebra
Banach–Alaoglu theorem Alaoglu’s compactness result for duals of normed spaces via predicate surface "isGeneralizationOf" ⓘ
Banach–Alaoglu theorem compactness of polars in the weak-* topology via predicate surface "isSpecialCaseOf" ⓘ
Banach–Alaoglu theorem extends to locally convex topological vector spaces via polars of neighborhoods of zero via predicate surface "generalization" ⓘ
Non-Euclidean Geometry
surface form: Non-Euclidean geometry
Euclidean geometry to curved spaces via predicate surface "generalizes" ⓘ
Coxeter–Dynkin diagrams Coxeter–Dynkin diagrams via predicate surface "generalizes" self-linksurface differs ⓘ
surface form: Dynkin diagrams
Coxeter–Dynkin diagrams Coxeter–Dynkin diagrams via predicate surface "generalizes" self-linksurface differs ⓘ
surface form: Coxeter graphs
Young inequality for convolutions basic L^1–L^∞ convolution bound ⓘ
Karamata's inequality Jensen inequality via predicate surface "generalizes" ⓘ
surface form: Jensen's inequality
Karamata's inequality Chebyshev’s sum inequality via predicate surface "generalizes" ⓘ
surface form: Chebyshev's sum inequality
Karamata's inequality Hardy–Littlewood–Pólya inequality via predicate surface "generalizes" ⓘ
Young's inequality Young's inequality via predicate surface "isSpecialCaseOf" self-linksurface differs ⓘ
surface form: Fenchel–Young inequality
Sobolev spaces classical differentiable function spaces ⓘ
Sobolev spaces Hölder spaces (in some contexts) ⓘ
Orlicz spaces Lebesgue spaces via predicate surface "generalizes" ⓘ
Orlicz spaces Lebesgue spaces via predicate surface "generalizes" ⓘ
surface form: L^p spaces
Banach algebra normed algebra via predicate surface "generalizes" ⓘ
Banach algebra Banach spaces via predicate surface "generalizes" ⓘ
surface form: Banach space
Banach algebra associative algebra via predicate surface "generalizes" ⓘ
Schauder basis orthonormal basis in Hilbert spaces ⓘ
Closed Graph Theorem results about continuity of linear maps in finite-dimensional spaces ⓘ
Littlewood–Paley theory classical Fourier series techniques ⓘ
Tucker decomposition in multilinear algebra
surface form: Tucker decomposition
principal component analysis via predicate surface "generalizes" ⓘ
Tucker decomposition in multilinear algebra
surface form: Tucker decomposition
matrix singular value decomposition via predicate surface "generalizes" ⓘ
Verifiable Random Function pseudorandom function with public verifiability via predicate surface "generalizes" ⓘ
Cephalaspidomorphi (sensu lato) Agnatha via predicate surface "superclass" ⓘ
Anaspida Agnatha via predicate surface "superclass" ⓘ
Myxiniformes Agnatha via predicate surface "superclass" ⓘ
surface form: Cyclostomata