generalizationOf

P2372
predicate

Indicates that one entity represents a broader, more general concept or category that subsumes or abstracts over another, more specific entity.

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
Nonlinear programming linear programming via predicate surface "generalizes"
Phaeophyceae Phaeista via predicate surface "superclass"
Picard theorem Nevanlinna theory via predicate surface "hasGeneralization"
surface form: Nevanlinna’s value distribution theory
Picard theorem Ahlfors’ theory of covering surfaces via predicate surface "hasGeneralization"
Picard–Vessiot theory classical Galois correspondence to linear differential equations via predicate surface "generalizes"
Hadamard inequality bound on area of parallelogram by product of side lengths
Hadamard inequality bound on volume of parallelotope by product of edge lengths
Hadamard three-circle theorem properties of subharmonic functions on annuli
Lucas sequences Fibonacci sequence via predicate surface "generalizes"
Lucas sequences Lucas sequences via predicate surface "generalizes" self-linksurface differs
surface form: Lucas number sequence
Itô integral Riemann–Stieltjes integral to stochastic processes
Itô isometry isometry for simple stochastic integrands
Tarski’s fixed point theorem fixed-point results for monotone operators on power sets via predicate surface "generalizes"
Ramanujan theta function certain Jacobi theta functions
Ramanujan prime Bertrand's postulate to intervals containing at least n primes via predicate surface "generalizes"
Ramanujan–Nagell equation equations of the form x^2 + D = k^n via predicate surface "hasGeneralization"
Ramanujan–Petersson conjecture Ramanujan–Petersson conjecture self-linksurface differs
surface form: Ramanujan conjecture for the tau function
mock theta functions classical theta functions in a mock sense
Ramanujan’s sum finite Fourier sums over primitive roots of unity
Schrödinger functional equation in field theory nonrelativistic Schrödinger equation via predicate surface "generalizes"
L-functions
surface form: L-function
Riemann zeta function via predicate surface "generalizes"
twistor space curved twistor space via predicate surface "hasGeneralization"
twistor space ambitwistor space via predicate surface "hasGeneralization"
twistor space supertwistor space via predicate surface "hasGeneralization"
Mr Chairman chairman via predicate surface "hasBroaderTerm"
Mr Chairman form of address for presiding officer via predicate surface "hasBroaderTerm"
Deutsch–Jozsa algorithm Deutsch–Jozsa algorithm self-linksurface differs
surface form: Deutsch algorithm
Tukey's fences multivariate data via robust distance measures via predicate surface "canBeGeneralizedTo"
Einstein–Yang–Mills equations Einstein–Maxwell equations via predicate surface "generalizes"
Einstein–Yang–Mills equations Einstein field equations via predicate surface "generalizes"
surface form: vacuum Einstein equations
Einstein–Yang–Mills equations Yang–Mills theory via predicate surface "generalizes"
surface form: flat-space Yang–Mills equations
Kaluza–Klein theory 4-dimensional general relativity
Kaluza–Klein theory Einstein–Maxwell equations
surface form: Einstein–Maxwell theory
Linlithgowshire West Lothian via predicate surface "largelyCorrespondsTo"
Poynting theorem covariant energy-momentum conservation in electrodynamics via predicate surface "hasGeneralization"
Child–Langmuir law Child–Langmuir law via predicate surface "generalizedBy" self-linksurface differs
surface form: relativistic Child–Langmuir law
Child–Langmuir law Child–Langmuir law via predicate surface "generalizedBy" self-linksurface differs
surface form: non-planar Child–Langmuir law
Khinchin's law of the iterated logarithm Kolmogorov's law of the iterated logarithm via predicate surface "isSpecialCaseOf"
Khinchin's representation theorem spectral representation theorems for stationary processes via predicate surface "isSpecialCaseOf"
Born expansion of Green’s function many-body Green’s functions via predicate surface "generalizedTo"
Born expansion of Green’s function time-dependent Green’s functions via predicate surface "generalizedTo"
Hilbert–Schmidt operators
surface form: Hilbert–Schmidt operator
finite-rank operator via predicate surface "generalizes"
Schmidt orthogonalization orthogonalization of two vectors
Erdős–Szekeres theorem higher-dimensional variants for convex polytopes via predicate surface "hasGeneralization"
Korteweg–De Vries equation general KdV-type equations via predicate surface "isSpecialCaseOf"
GameSpot Best Shooter (nomination) action game awards via predicate surface "hasSuperGenre"
Fredholm operator Fredholm integral operator via predicate surface "generalizes"
Chern character higher K-theory via predicate surface "generalizedTo"
Chern character cyclic homology via predicate surface "generalizedTo"
Chern character noncommutative geometry via predicate surface "generalizedTo"