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
Markov semigroup discrete-time Markov chain transition operators via predicate surface "generalizes" ⓘ
Markov semigroup continuous-time Markov chain transition matrices via predicate surface "generalizes" ⓘ
Voronin universality theorem universality theorems for Dirichlet L-functions via predicate surface "generalizedBy" ⓘ
Voronin universality theorem universality theorems for automorphic L-functions via predicate surface "generalizedBy" ⓘ
Dedekind zeta functions
surface form: Dedekind zeta function
Riemann zeta function via predicate surface "generalizes" ⓘ
Hurwitz space classical Hurwitz schemes via predicate surface "generalizes" ⓘ
Hurwitz bound on automorphism groups of curves bounds on automorphism groups of algebraic curves over fields of characteristic zero ⓘ
Hurwitz bound on automorphism groups of curves bounds on automorphism groups of curves in positive characteristic via predicate surface "hasGeneralization" ⓘ
Hurwitz bound on automorphism groups of curves Arakelov-type inequalities for families of curves via predicate surface "hasGeneralization" ⓘ
Lefschetz fixed-point theorem Brouwer fixed-point theorem ⓘ
Lefschetz fixed-point theorem Euler characteristic formula for fixed points ⓘ
Grothendieck–Ogg–Shafarevich formula classical conductor–discriminant relations via predicate surface "generalizes" ⓘ
Satisfiability Modulo Theories (SMT)
surface form: Satisfiability Modulo Theories
Boolean satisfiability problem via predicate surface "generalizes" ⓘ
Potts model Ising models via predicate surface "generalizes" ⓘ
surface form: Ising model
Valenciidae Osteichthyes via predicate surface "superclass" ⓘ
Yang monopole Dirac magnetic monopoles via predicate surface "generalizes" ⓘ
surface form: Dirac monopole
Huet unification algorithm first-order unification via predicate surface "generalizes" ⓘ
Dehn surgery lens space construction from surgery on the unknot via predicate surface "generalizes" ⓘ
Dehn twist multitwist via predicate surface "generalization" ⓘ
Dehn twist Dehn twist via predicate surface "generalization" self-linksurface differs ⓘ
surface form: fractional Dehn twist
Dehn invariant additive angle-length invariants for polygons in the plane ⓘ
h-cobordism theorem Poincaré conjecture in higher dimensions ⓘ
Milnor fibration non-isolated singularities via predicate surface "hasGeneralization" ⓘ
Milnor fibration real analytic singularities via predicate surface "hasGeneralization" ⓘ
Milnor fibration stratified Morse theory via predicate surface "hasGeneralization" ⓘ
Milnor number Milnor number of complete intersection singularities via predicate surface "generalization" ⓘ
Milnor number Lê numbers via predicate surface "generalization" ⓘ
Milnor number Bruce–Roberts number via predicate surface "generalization" ⓘ
Milnor K-theory classical K_1 of a field via predicate surface "generalizes" ⓘ
Milnor–Wood inequality Burger–Iozzi–Wienhard inequalities for higher rank groups via predicate surface "generalizedBy" ⓘ
Deligne–Lusztig theory classical character theory of finite groups via predicate surface "generalizes" ⓘ
Deligne cohomology Picard group with connection via predicate surface "generalizes" ⓘ
brachistochrone problem brachistochrone in non-uniform gravitational fields via predicate surface "generalization" ⓘ
brachistochrone problem relativistic brachistochrone problem via predicate surface "generalization" ⓘ
Gelfand representation of commutative C*-algebras classical representation of continuous functions on compact spaces via predicate surface "generalizes" ⓘ
Gelfand transform Fourier transform on abelian groups in an abstract sense ⓘ
Gelfand triples (rigged Hilbert spaces)
surface form: Gelfand triple
Hilbert space framework for quantum mechanics via predicate surface "generalizes" ⓘ
Second Keeper of the Robes household offices of the British sovereign via predicate surface "hasBroaderConcept" ⓘ
Second Keeper of the Robes ceremonial offices in monarchies via predicate surface "hasBroaderConcept" ⓘ
Second Keeper of the Robes royal wardrobe officials via predicate surface "hasBroaderConcept" ⓘ
Fitting subgroup generalized Fitting subgroup extends F(G) by including components via predicate surface "generalization" ⓘ
Fitting lemma decomposition of a linear operator into nilpotent and invertible components on invariant subspaces via predicate surface "generalizes" ⓘ
Fitting ideal Fitting invariant of a module via predicate surface "hasGeneralization" ⓘ
Fitting series Fitting subgroup via predicate surface "generalizes" ⓘ
Isserlis’ theorem in probability theory
surface form: Isserlis’ theorem
formula for the fourth moment of a Gaussian variable ⓘ
Isserlis’ theorem in probability theory
surface form: Isserlis’ theorem
expression of fourth-order moments via covariances ⓘ
Dyson’s formula exponential of a time-dependent operator with non-commuting values via predicate surface "generalizes" ⓘ
Feynman propagator time-ordered n-point Green's functions (for n=2) via predicate surface "isSpecialCaseOf" ⓘ
monotone convergence theorem dominated convergence theorem via predicate surface "isSpecialCaseOf" ⓘ
surface form: Lebesgue dominated convergence theorem (with monotone domination)
dominated convergence theorem bounded convergence theorem on finite measure spaces ⓘ