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 |
|---|---|
| Cauchy integral formula | Cauchy integral theorem via predicate surface "hasGeneralization" ⓘ |
| Cauchy integral formula | Cauchy–Pompeiu formula via predicate surface "hasGeneralization" ⓘ |
| Cauchy integral formula |
Bochner–Martinelli formula
via predicate surface "hasGeneralization"
ⓘ
surface form:
Cauchy–Green formula
|
| Cauchy integral formula |
Bochner–Martinelli formula
via predicate surface "hasGeneralization"
ⓘ
surface form:
Cauchy integral formula in several complex variables
|
| Ereuniidae | Osteichthyes via predicate surface "superclass" ⓘ |
| Normanichthyidae | Osteichthyes via predicate surface "superclass" ⓘ |
| Bembridae | Osteichthyes via predicate surface "superclass" ⓘ |
| Hoplichthyidae | Osteichthyes via predicate surface "superclass" ⓘ |
| Luttinger liquid theory |
Luttinger liquid theory
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
Tomonaga-Luttinger model
|
| Yang–Mills theory |
A Dynamical Theory of the Electromagnetic Field
ⓘ
surface form:
Maxwell theory of electromagnetism
|
| Witten index | refined indices via predicate surface "generalizedTo" ⓘ |
| Witten index | elliptic genus via predicate surface "generalizedTo" ⓘ |
| Witten index | superconformal index via predicate surface "generalizedTo" ⓘ |
| Weil group |
Weil group
self-linksurface differs
ⓘ
surface form:
Weil group of a local field
|
| Weil group |
Weil group
self-linksurface differs
ⓘ
surface form:
Weil group of a global field
|
| Weil divisor | divisor on a smooth projective curve via predicate surface "generalizes" ⓘ |
| Weil pairing |
Weil pairing
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Weil pairing on abelian varieties
|
| Selberg trace formula | Arthur trace formula via predicate surface "generalizedBy" ⓘ |
| Selberg integral |
Beta function
ⓘ
surface form:
Euler beta integral
|
| Selberg class | classical Dirichlet L-functions via predicate surface "generalizes" ⓘ |
| Selberg class | Dedekind zeta functions via predicate surface "generalizes" ⓘ |
| Atherinomorphae | Osteichthyes via predicate surface "superclass" ⓘ |
| Harish-Chandra character formula | Weyl character formula via predicate surface "generalizes" ⓘ |
| Plancherel theorem for real reductive groups | Plancherel theorem for locally compact abelian groups via predicate surface "generalizes" ⓘ |
| Plancherel theorem for real reductive groups | Fourier analysis on the real line via predicate surface "generalizes" ⓘ |
| Plancherel theorem for real reductive groups | Fourier transform on Euclidean space via predicate surface "generalizes" ⓘ |
| Serre duality | classical duality for Riemann surfaces via predicate surface "generalizes" ⓘ |
| Serre duality | Poincaré duality for Riemann surfaces via predicate surface "generalizes" ⓘ |
| Serre duality |
Grothendieck duality
via predicate surface "isSpecialCaseOf"
ⓘ
surface form:
Grothendieck–Verdier duality
|
| Serre’s conjecture on Galois representations | modularity of elliptic curves over ℚ via predicate surface "generalizes" ⓘ |
| Serre’s conjecture on Galois representations | modularity conjectures for Galois representations via predicate surface "isSpecialCaseOf" ⓘ |
| étale cohomology | singular cohomology via predicate surface "generalizes" ⓘ |
| Grothendieck–Riemann–Roch theorem | Riemann–Roch theorem via predicate surface "generalizes" ⓘ |
| Grothendieck–Riemann–Roch theorem | Hirzebruch–Riemann–Roch theorem via predicate surface "generalizes" ⓘ |
| Grothendieck topology | open cover in topology via predicate surface "generalizes" ⓘ |
| Grothendieck topology | Zariski topology via predicate surface "generalizes" ⓘ |
| Grothendieck topology |
Grothendieck topology
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
étale topology
|
| Grothendieck topology | fpqc topology via predicate surface "generalizes" ⓘ |
| Grothendieck topology |
Grothendieck topology
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
fppf topology
|
| Grothendieck topology | Nisnevich topology via predicate surface "generalizes" ⓘ |
| Grothendieck group | difference of integers from natural numbers via predicate surface "generalizes" ⓘ |
| Grothendieck group | construction of Z from N via predicate surface "generalizes" ⓘ |
| Grothendieck group | construction of K0 in K-theory via predicate surface "generalizes" ⓘ |
| Grothendieck spectral sequence |
Grothendieck spectral sequence
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
Leray spectral sequence
|
| Grothendieck duality | Serre duality via predicate surface "generalizes" ⓘ |
| Grothendieck duality | non-noetherian duality theories via predicate surface "hasGeneralization" ⓘ |
| Grothendieck category | category of modules over a ring via predicate surface "generalizes" ⓘ |
| Grothendieck category | category of sheaves of abelian groups on a site via predicate surface "generalizes" ⓘ |
| Grothendieck category | category of quasi-coherent sheaves on a scheme via predicate surface "generalizes" ⓘ |
| Grothendieck category | category of presheaves of abelian groups via predicate surface "generalizes" ⓘ |