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 |
|---|---|
| Kramers–Wannier duality in the Ising model | duality transformations for Potts models via predicate surface "hasGeneralization" ⓘ |
| Kramers–Wannier duality in the Ising model | duality in Z2 lattice gauge theory via predicate surface "hasGeneralization" ⓘ |
| Lefschetz hyperplane theorem | Grothendieck–Lefschetz theorem via predicate surface "generalizedBy" ⓘ |
| Lefschetz hyperplane theorem |
Lefschetz hyperplane theorem
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
relative Lefschetz hyperplane theorem
|
| Lefschetz pencil | Lefschetz fibration in symplectic geometry via predicate surface "hasGeneralization" NERFINISHED ⓘ |
| Lefschetz fibration | Lefschetz pencil NERFINISHED ⓘ |
| Banach limit | limit of bounded sequences via predicate surface "generalizes" ⓘ |
| Banach–Stone theorem | Gelfand–Naimark theorem via predicate surface "hasGeneralization" ⓘ |
| Banach–Stone theorem | Banach–Stone type theorems for C0(X) via predicate surface "hasGeneralization" ⓘ |
| Banach–Stone theorem | Banach–Stone type theorems for vector-valued function spaces via predicate surface "hasGeneralization" ⓘ |
| Banach–Stone theorem | Banach–Stone type theorems for Lipschitz function spaces via predicate surface "hasGeneralization" ⓘ |
| Banach–Mazur theorem | representation of separable Banach spaces as function spaces via predicate surface "isGeneralizationOf" ⓘ |
| Teleporting an unknown quantum state via dual classical and Einstein–Podolsky–Rosen channels | teleportation of higher-dimensional quantum states via predicate surface "generalizedTo" ⓘ |
| Teleporting an unknown quantum state via dual classical and Einstein–Podolsky–Rosen channels | continuous-variable quantum teleportation via predicate surface "generalizedTo" ⓘ |
| Saclan people | Native Americans in the United States via predicate surface "broaderGrouping" ⓘ |
| Saclan people | indigenous peoples of North America via predicate surface "broaderGrouping" ⓘ |
| Generalized Search Tree | B+-tree behavior via predicate surface "generalizes" ⓘ |
| Generalized Search Tree | R-tree behavior via predicate surface "generalizes" ⓘ |
| De Morgan's laws | De Morgan's laws for sets NERFINISHED ⓘ |
| De Morgan's laws | De Morgan's laws for propositions NERFINISHED ⓘ |
| Saklan Miwok | Native Americans in the United States via predicate surface "broaderGrouping" ⓘ |
| Saklan Miwok | indigenous peoples of North America via predicate surface "broaderGrouping" ⓘ |
| Bailey chains | Bailey lemma via predicate surface "generalizes" NERFINISHED ⓘ |
| Bailey lemma | classical hypergeometric transformations to q-setting via predicate surface "generalizes" ⓘ |
| Bailey chain method | classical Bailey lemma applications via predicate surface "generalizes" ⓘ |
|
Bidiagonal
surface form:
Bidiagonal matrix
|
Tridiagonal matrix via predicate surface "isSpecialCaseOf" ⓘ |
|
Bidiagonal
surface form:
Bidiagonal matrix
|
Band matrix via predicate surface "isSpecialCaseOf" ⓘ |
|
Bidiagonal
surface form:
Bidiagonal matrix
|
Sparse matrix via predicate surface "isSpecialCaseOf" ⓘ |
| Racah algebra | angular momentum coupling algebra ⓘ |
| Stone’s theorem on one-parameter unitary groups | finite-dimensional diagonalization of normal matrices to continuous unitary flows ⓘ |
| Gleason’s theorem | Gleason-type theorems for POVMs via predicate surface "generalizedBy" NERFINISHED ⓘ |
| Dyson index β | Wigner’s symmetry classification NERFINISHED ⓘ |
| Moyal bracket | Poisson bracket via predicate surface "generalizes" ⓘ |
| Gaussian symplectic ensemble | non-Gaussian symplectic ensembles via predicate surface "hasGeneralization" ⓘ |
| Henkin construction | canonical model construction for propositional logic via predicate surface "generalizes" ⓘ |
| Bianchi type cosmologies | Friedmann–Lemaître–Robertson–Walker cosmology via predicate surface "generalizes" NERFINISHED ⓘ |
|
equation E = mc^2
surface form:
E = mc^2
|
E^2 = (pc)^2 + (mc^2)^2 via predicate surface "hasGeneralization" ⓘ |
| Thomson scattering | Rayleigh scattering via predicate surface "isSpecialCaseOf" ⓘ |
| Thomson scattering | classical radiation scattering via predicate surface "isSpecialCaseOf" ⓘ |
| Ono’s partition congruences | Ramanujan’s congruence p(5n+4) ≡ 0 (mod 5) via predicate surface "generalizes" ⓘ |
| Ono’s partition congruences | Ramanujan’s congruence p(7n+5) ≡ 0 (mod 7) via predicate surface "generalizes" ⓘ |
| Ono’s partition congruences | Ramanujan’s congruence p(11n+6) ≡ 0 (mod 11) via predicate surface "generalizes" ⓘ |
| Nernst–Planck equation | Fick's first law of diffusion via predicate surface "generalizes" NERFINISHED ⓘ |
| Butler–Volmer equation | simple Ohmic relation for electrode processes via predicate surface "generalizes" ⓘ |
| Robertson–Schrödinger uncertainty relation | Heisenberg uncertainty principle via predicate surface "generalizes" NERFINISHED ⓘ |
| Hubbard model | tight-binding model ⓘ |
| fundamental theorem of arithmetic | unique factorization in principal ideal domains ⓘ |
| Chebyshev inequalities | Markov inequality via predicate surface "isSpecialCaseOf" NERFINISHED ⓘ |
| Chebyshev inequalities | empirical rule to arbitrary distributions with finite variance via predicate surface "generalizes" ⓘ |
| Cesàro summation | (C,k) Cesàro summation of higher order via predicate surface "generalization" ⓘ |