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
Lie sphere geometry inversive geometry via predicate surface "generalizes" ⓘ
Lie pseudogroup Lie group via predicate surface "generalizes" ⓘ
Lie pseudogroup local transformation group via predicate surface "generalizes" ⓘ
Bernoulli numbers p-adic Bernoulli numbers via predicate surface "generalization" ⓘ
Bernoulli numbers Bernoulli polynomials via predicate surface "generalization" ⓘ
Bernoulli trials sequence of independent identically distributed random variables via predicate surface "isSpecialCaseOf" ⓘ
Lie bracket cross product on R^3 (via so(3)) ⓘ
Lie derivative directional derivative via predicate surface "generalizes" ⓘ
Lie derivative commutator of vector fields via predicate surface "generalizes" ⓘ
stars and bars method some bounded integer solution problems via predicate surface "canBeGeneralizedTo" ⓘ
Fermat’s principle of least time straight-line propagation of light in uniform media ⓘ
Minkowski diagram 2+1 dimensional spacetime via predicate surface "canBeGeneralizedTo" ⓘ
Minkowski diagram 3+1 dimensional spacetime via predicate surface "canBeGeneralizedTo" ⓘ
Lie group continuous groups of transformations ⓘ
Lie group matrix groups ⓘ
Taylor series multivariable Taylor series via predicate surface "generalization" ⓘ
Pochhammer symbol factorial via predicate surface "generalizes" ⓘ
Gamma function factorial function to non-integers via predicate surface "generalizes" ⓘ
Lagrangian mechanics Newtonian mechanics via predicate surface "generalizes" ⓘ
Stokes' theorem Fundamental Theorem of Calculus via predicate surface "generalizes" ⓘ
surface form: fundamental theorem of calculus
Stokes' theorem Green's theorem via predicate surface "generalizes" ⓘ
Stokes' theorem Stokes' theorem via predicate surface "isSpecialCaseOf" self-linksurface differs ⓘ
surface form: generalized Stokes' theorem on manifolds
Stokes' theorem Stokes' theorem for differential forms on manifolds via predicate surface "hasGeneralization" ⓘ
Lagrange multipliers Karush–Kuhn–Tucker conditions via predicate surface "generalizedBy" ⓘ
Lagrange interpolation polynomial linear interpolation ⓘ
Lagrange interpolation polynomial quadratic interpolation ⓘ
Lagrange's theorem in group theory divisibility of orders in cyclic groups ⓘ
Lagrange's theorem in group theory Cauchy's theorem in group theory via predicate surface "isGeneralizedBy" ⓘ
Lagrange's theorem in group theory Sylow theorems via predicate surface "isGeneralizedBy" ⓘ
Lagrange's four-square theorem sum of k squares theorems via predicate surface "hasGeneralization" ⓘ
Lagrange's four-square theorem Waring's problem via predicate surface "hasGeneralization" ⓘ
surface form: Waring's problem for k-th powers
Poincaré–Hopf theorem results on indices of planar vector fields ⓘ
Poincaré duality Poincaré duality via predicate surface "generalizedBy" self-linksurface differs ⓘ
surface form: Poincaré–Lefschetz duality
Poincaré duality Verdier duality via predicate surface "generalizedBy" ⓘ
Poincaré inequality Riemannian manifolds via predicate surface "generalizedTo" ⓘ
Poincaré inequality metric measure spaces via predicate surface "generalizedTo" ⓘ
Coulomb's law Maxwell's equations via predicate surface "isSpecialCaseOf" ⓘ
surface form: Maxwell's equations in electrostatic limit
Gaussian periods quadratic Gauss sums ⓘ
Successive Over-Relaxation Gauss–Seidel method via predicate surface "generalizes" ⓘ
Richardson iteration stationary iterative method via predicate surface "isSpecialCaseOf" ⓘ
Richardson iteration fixed-point iteration via predicate surface "isSpecialCaseOf" ⓘ
Richardson iteration preconditioned Richardson method via predicate surface "generalization" ⓘ
Noetherian rings
surface form: Noetherian ring
principal ideal domain via predicate surface "isGeneralizationOf" ⓘ
Noetherian rings
surface form: Noetherian ring
Dedekind domain via predicate surface "isGeneralizationOf" ⓘ
Artinian module Artinian ring via predicate surface "generalizes" ⓘ
Artinian module Artinian abelian group via predicate surface "isGeneralizationOf" ⓘ
Krull dimension geometric dimension of affine varieties via predicate surface "generalizes" ⓘ
Jordan–Hölder theorem uniqueness of prime factorization in integers ⓘ
Wiener–Khinchin theorem relationship between convolution and multiplication in Fourier domain ⓘ
Ampère's force law Lorentz force via predicate surface "generalizedBy" ⓘ
surface form: Lorentz force law