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
Fatou's lemma lower semicontinuity of expectation in probability ⓘ
Lebesgue measure length in R via predicate surface "generalizes" ⓘ
Lebesgue measure area in R^2 via predicate surface "generalizes" ⓘ
Lebesgue measure volume in R^3 via predicate surface "generalizes" ⓘ
Fubini's theorem interchange of summation and integration in some contexts via predicate surface "generalizes" ⓘ
Tonelli's theorem Fubini's theorem via predicate surface "isSpecialCaseOf" ⓘ
surface form: Fubini–Tonelli theorem
Wightman correlation functions two-point correlation functions ⓘ
Clark–Ocone formula martingale representation for Brownian motion ⓘ
Whitney sum direct sum of vector spaces via predicate surface "generalizes" ⓘ
Thom–Mather stratification Whitney stratification via predicate surface "generalizes" ⓘ
Green–Tao theorem Green–Tao theorem via predicate surface "hasGeneralization" self-linksurface differs ⓘ
surface form: Green–Tao–Ziegler theorem
noncommutative geometry classical geometry via predicate surface "generalizes" ⓘ
noncommutative geometry differential geometry via predicate surface "generalizes" ⓘ
noncommutative geometry measure theory via predicate surface "generalizes" ⓘ
noncommutative geometry topology of spaces via predicate surface "generalizes" ⓘ
Connes–Moscovici index theorem Atiyah–Singer index theorem via predicate surface "generalizes" ⓘ
Jordan curve theorem Jordan curve theorem via predicate surface "generalizedBy" self-linksurface differs ⓘ
surface form: Jordan–Brouwer separation theorem
Einstein–Hilbert action f(R) gravity via predicate surface "generalizedTo" ⓘ
Einstein–Hilbert action higher-derivative gravity theories via predicate surface "generalizedTo" ⓘ
f(R) gravity Einstein–Hilbert action via predicate surface "generalizes" ⓘ
surface form: Einstein–Hilbert Lagrangian density
Tolman–Oppenheimer–Volkoff equation Newtonian hydrostatic equilibrium equation ⓘ
virial theorem to systems with time-averaged equilibrium via predicate surface "generalizes" ⓘ
Bonnor–Ebert mass Jeans instability analysis with external pressure via predicate surface "isSpecialCaseOf" ⓘ
Plücker coordinates homogeneous point coordinates to subspaces via predicate surface "generalizes" ⓘ
Plücker coordinates line coordinates in projective 3-space via predicate surface "generalizes" ⓘ
Plücker formulas earlier results on plane curve singularities ⓘ
Malliavin calculus classical calculus of variations via predicate surface "generalizes" ⓘ
Malliavin calculus Itô calculus via predicate surface "generalizes" ⓘ
surface form: Itô stochastic calculus
Wiener measure multi-dimensional Wiener measure via predicate surface "generalizedTo" ⓘ
Wiener measure Wiener measure on C([0,∞),ℝ^d) via predicate surface "generalizedTo" ⓘ
Ohm's law for AC Ohm's law for DC via predicate surface "generalizes" ⓘ
Hamiltonian mechanics Newtonian mechanics via predicate surface "generalizes" ⓘ
Euler’s theorem Fermat's little theorem via predicate surface "generalizes" ⓘ
surface form: Fermat’s little theorem
Jordan’s totient functions Euler’s totient function via predicate surface "generalizes" ⓘ
Dirichlet series ordinary generating function with n^{-s} weights ⓘ
Poisson summation formula higher-dimensional Euclidean spaces via predicate surface "generalizedTo" ⓘ
Poisson summation formula lattices in ℝ^n via predicate surface "generalizedTo" ⓘ
Poisson summation formula locally compact abelian groups via predicate surface "generalizedTo" ⓘ
Euler products for automorphic L-functions Euler product of the Riemann zeta function via predicate surface "generalizes" ⓘ
Euler products for automorphic L-functions Dirichlet L-functions via predicate surface "generalizes" ⓘ
surface form: Dirichlet L-function Euler products
Carnap's continuum of inductive methods Bayesian updating with specific priors via predicate surface "isSpecialCaseOf" ⓘ
Monge problem in optimal transport classical earth mover problem ⓘ
Wandi Wandian people South Coast Aboriginal communities via predicate surface "broaderGrouping" ⓘ
surface form: South Coast Aboriginal groups
Wandi Wandian people Yuin people via predicate surface "broaderGrouping" ⓘ
surface form: Yuin peoples
Dirichlet process models finite mixture models ⓘ
Kolmogorov axioms classical finite probability spaces via predicate surface "generalizes" ⓘ
Ky Fan’s lemma Tucker’s lemma via predicate surface "generalizes" ⓘ
KKT conditions Lagrange multiplier conditions via predicate surface "generalize" ⓘ
KKT conditions first-order necessary conditions for constrained optimization via predicate surface "generalize" ⓘ
Lagrangian function method of Lagrange multipliers via predicate surface "generalizes" ⓘ