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 |
|---|---|
| Radon’s theorem | topological Radon theorem via predicate surface "generalizedBy" NERFINISHED ⓘ |
| Radon’s theorem | colorful Radon theorem via predicate surface "hasGeneralization" NERFINISHED ⓘ |
| Radon’s theorem | fractional Helly-type results via predicate surface "hasGeneralization" ⓘ |
| Krein–Milman theorem | finite-dimensional results about polytopes and extreme points via predicate surface "generalizes" ⓘ |
| Minkowski’s theorem on convex sets | one-dimensional pigeonhole principle for intervals and integer points ⓘ |
| Nevanlinna–Pick interpolation | matrix-valued Nevanlinna–Pick interpolation via predicate surface "generalization" ⓘ |
| Nevanlinna–Pick interpolation | operator-valued Nevanlinna–Pick interpolation via predicate surface "generalization" ⓘ |
| Schur algorithm | continued fraction expansions for analytic functions ⓘ |
| Weyl dimension formula | binomial coefficient dimension formulas for sl2 representations via predicate surface "generalizes" ⓘ |
| Schrödinger formulation of quantum mechanics | relativistic quantum field theory via predicate surface "generalizedBy" ⓘ |
| Schrödinger picture | Schrödinger picture in quantum field theory via predicate surface "hasGeneralization" NERFINISHED ⓘ |
| Atiyah–Segal axioms | Baez–Dolan cobordism hypothesis via predicate surface "generalizedBy" NERFINISHED ⓘ |
| BF theory | Schwarz-type topological field theories via predicate surface "generalizes" NERFINISHED ⓘ |
| Rozansky–Witten theory | finite-type 3-manifold invariants via predicate surface "generalizes" ⓘ |
| Donaldson invariants | intersection form invariants ⓘ |
| NP-hardness | NP-completeness ⓘ |
| Thurston norm | notion of genus for knots to higher-dimensional homology classes via predicate surface "generalizes" ⓘ |
| Faltings' theorem | Mordell's theorem for curves over number fields via predicate surface "generalizes" ⓘ |
| Leray–Schauder degree | Brouwer degree via predicate surface "generalizes" NERFINISHED ⓘ |
| Knaster–Kuratowski–Mazurkiewicz lemma | finite-dimensional intersection principles via predicate surface "isGeneralizationOf" ⓘ |
| Sperner family | antichain in any poset ⓘ |
| Pythagorean identity in trigonometry | x² + y² = 1 for points (x,y) on the unit circle ⓘ |
| theory of G-structures | Riemannian geometry via predicate surface "generalizes" NERFINISHED ⓘ |
| theory of G-structures | symplectic geometry via predicate surface "generalizes" ⓘ |
| theory of G-structures | complex geometry via predicate surface "generalizes" ⓘ |
| theory of G-structures | almost complex structures via predicate surface "generalizes" ⓘ |
| theory of G-structures | almost symplectic structures via predicate surface "generalizes" ⓘ |
| theory of G-structures | conformal structures via predicate surface "generalizes" ⓘ |
| theory of G-structures | orientation structures via predicate surface "generalizes" ⓘ |
| theory of G-structures | volume forms via predicate surface "generalizes" ⓘ |
| theory of G-structures | spin structures via predicate surface "generalizes" ⓘ |
| theory of G-structures | CR structures via predicate surface "generalizes" ⓘ |
| theory of G-structures | contact structures via predicate surface "generalizes" ⓘ |
| open mapping theorem | open mapping results for finite-dimensional normed spaces ⓘ |
| open mapping theorem | open mapping theorem for Fréchet spaces via predicate surface "generalizedBy" ⓘ |
| open mapping theorem | open mapping theorem for barrelled spaces via predicate surface "generalizedBy" ⓘ |
| Lindelöf hypothesis | Lindelöf hypothesis for Dirichlet L-functions via predicate surface "hasGeneralization" ⓘ |
| Lindelöf hypothesis | Lindelöf hypothesis for automorphic L-functions via predicate surface "hasGeneralization" NERFINISHED ⓘ |
| Lindelöf space | compact space via predicate surface "generalizes" ⓘ |
| Debye relaxation | Cole–Cole model via predicate surface "generalizedBy" NERFINISHED ⓘ |
| Debye relaxation | Cole–Davidson model via predicate surface "generalizedBy" NERFINISHED ⓘ |
| Debye relaxation | Havriliak–Negami model via predicate surface "generalizedBy" NERFINISHED ⓘ |
| Kobayashi metric | Poincaré metric via predicate surface "generalizes" NERFINISHED ⓘ |
| Lempert function on convex domains | Poincaré distance on the unit disc via predicate surface "generalizes" ⓘ |
| Ertel potential vorticity theorem | potential vorticity conservation in shallow-water equations via predicate surface "generalizes" ⓘ |
| Confiscation Act of 1862 | Union war aims via predicate surface "broaderConcept" ⓘ |
| Confiscation Act of 1862 | United States slavery abolition policy via predicate surface "broaderConcept" ⓘ |
| Confiscation Act of 1862 | Union confiscation laws via predicate surface "broaderConcept" ⓘ |
| Eucestoda | Cestoda via predicate surface "superclass" ⓘ |
| Taniyama–Shimura–Weil conjecture | modularity of semistable elliptic curves over Q ⓘ |