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
Riemann ellipsoid Jacobi ellipsoid via predicate surface "generalizes" NERFINISHED ⓘ
Chandrasekhar’s theory of ellipsoidal figures of equilibrium homogeneous ellipsoids to stratified configurations via predicate surface "generalizes" ⓘ
Roche ellipsoid Maclaurin spheroid NERFINISHED ⓘ
Roche ellipsoid Jacobi ellipsoid NERFINISHED ⓘ
Cowlitz Coast Salish Northwest Coast languages via predicate surface "broaderGrouping" NERFINISHED ⓘ
Stone–Weierstrass theorem Weierstrass approximation theorem via predicate surface "generalizes" NERFINISHED ⓘ
Stone–Weierstrass theorem polynomial approximation on compact intervals via predicate surface "generalizes" ⓘ
Bernstein polynomials closed interval [a,b] via predicate surface "generalizedTo" ⓘ
Runge approximation theorem Mergelyan's theorem via predicate surface "generalizedBy" NERFINISHED ⓘ
Runge approximation theorem Oka–Weil theorem via predicate surface "generalizedBy" NERFINISHED ⓘ
Mittag-Leffler theorem partial fraction decompositions in the complex plane via predicate surface "generalizes" ⓘ
p-adic numbers Hensel’s lemma applications via predicate surface "generalizes" ⓘ
Henselian ring complete Noetherian local ring via predicate surface "generalizes" ⓘ
Hensel’s lemma root lifting from modulo p to modulo p^n ⓘ
Oka coherence theorem coherence of the structure sheaf of a complex analytic space via predicate surface "hasGeneralization" ⓘ
Dynamical Mean-Field Theory cluster dynamical mean-field theory via predicate surface "generalization" ⓘ
Dynamical Mean-Field Theory dynamical cluster approximation via predicate surface "generalization" NERFINISHED ⓘ
Gay-Lussac's law ideal gas law via predicate surface "isSpecialCaseOf" NERFINISHED ⓘ
Hamming distance bitwise XOR difference count for binary strings ⓘ
Hamming bound q-ary Hamming bound via predicate surface "generalizedTo" NERFINISHED ⓘ
distance covariance classical covariance in detecting dependence via predicate surface "generalizes" ⓘ
CMLogItem NSObject via predicate surface "superclass" NERFINISHED ⓘ
CBMutableService CBService via predicate surface "superclass" NERFINISHED ⓘ
Fuchsian differential equation hypergeometric equation via predicate surface "generalizes" ⓘ
Fuchsian group modular group via predicate surface "isGeneralizationOf" ⓘ
Fuchsian singularity regular singular point on the Riemann sphere ⓘ
Hermite normal form Gaussian elimination to integer matrices with remainder constraints ⓘ
Hermite interpolation Lagrange interpolation via predicate surface "generalizes" ⓘ
Hermitian forms (work on quadratic forms)
surface form: Hermitian form
real symmetric bilinear form via predicate surface "generalizes" ⓘ
Hermitian forms (work on quadratic forms)
surface form: Hermitian form
real quadratic form via predicate surface "generalizes" ⓘ
Hermite–Biehler theorem Hermite–Biehler class of entire functions via predicate surface "hasGeneralization" NERFINISHED ⓘ
Shakori people Siouan-speaking tribes of the Southeast via predicate surface "broaderGrouping" ⓘ
Schur–Weyl duality Howe duality via predicate surface "generalizedBy" NERFINISHED ⓘ
Weyl denominator classical trigonometric product identities for SU(2) and SU(n) ⓘ
Weyl vector half-sum of positive roots in finite root systems to Kac–Moody root systems ⓘ
Peter–Weyl theorem Fourier series on the circle group via predicate surface "generalizes" ⓘ
Peter–Weyl theorem Fourier analysis on finite groups via predicate surface "generalizes" ⓘ
Moyal product pointwise product of functions ⓘ
Weyl geometry Riemannian geometry via predicate surface "generalizes" ⓘ
Mittag-Leffler function exponential function via predicate surface "generalizes" ⓘ
Fitting semantics for modal logic Kripke semantics for modal logic via predicate surface "generalizes" ⓘ
Kripke–Kleene semantics in logic programming least Herbrand model semantics for definite programs via predicate surface "generalizes" ⓘ
Borel–Weil theorem Borel–Weil–Bott theorem via predicate surface "generalizedBy" NERFINISHED ⓘ
Blum integer special case of a semiprime with additional congruence conditions on the primes ⓘ
dAlembert operator Laplace operator to spacetime ⓘ
Proca equation Maxwell equations for massive photons via predicate surface "generalizes" ⓘ
Helly’s theorem Helly-type theorems for other set systems via predicate surface "hasGeneralization" ⓘ
Helly’s theorem Helly-type theorems in metric spaces via predicate surface "hasGeneralization" ⓘ
Helly’s theorem Helly-type theorems for algebraic sets via predicate surface "hasGeneralization" NERFINISHED ⓘ
Radon’s theorem Tverberg’s theorem via predicate surface "generalizedBy" NERFINISHED ⓘ