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 |
| generalizedBy | 163 |
| isSpecialCaseOf | 102 |
| generalization | 83 |
| generalizedTo | 66 |
| superclass | 61 |
| broaderConcept | 32 |
| isGeneralizationOf | 21 |
| isGeneralizedBy | 16 |
| broaderGrouping | 14 |
| canBeGeneralizedTo | 13 |
| generalize | 12 |
| isGeneric | 9 |
| hasGeneralizations | 7 |
| largelyCorrespondsTo | 7 |
| hasBroaderTerm | 6 |
| hasBroaderConcept | 4 |
| higherLevelConcept | 4 |
| hasSuperGenre | 2 |
| isHypernymOf | 2 |
| istÜbergeordnetBegriffVon | 2 |
| Oberbegriff | 1 |
| broadensConceptOf | 1 |
| generalizationTarget | 1 |
| generalizedFrom | 1 |
| isGeneralizedIn | 1 |
| laterGeneralizedBy | 1 |
| typeOfGeneralization | 1 |
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" ⓘ |