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 |
|---|---|
| Minkowski sum | addition of vectors ⓘ |
| Minkowski functional | norm via predicate surface "generalizes" ⓘ |
| von Neumann paradox in set theory | earlier paradoxes about rotations on the sphere via predicate surface "isGeneralizationOf" ⓘ |
| Grammy Award for Best Rap Performance by a Duo or Group | popular music via predicate surface "hasSuperGenre" ⓘ |
| ISO 31000 | true via predicate surface "isGeneric" ⓘ |
| Sapper Tab | military insignia via predicate surface "higherLevelConcept" GENERATED ⓘ |
| Sapper Tab | military decoration via predicate surface "higherLevelConcept" ⓘ |
| Dirac equation | Klein–Gordon equation via predicate surface "generalizes" ⓘ |
| Feynman path integral | classical action principle via predicate surface "generalizes" ⓘ |
| Manchuria |
Manchuria
via predicate surface "largelyCorrespondsTo"
self-linksurface differs
ⓘ
surface form:
Northeast China
|
| Euclidean space | Riemannian manifold via predicate surface "generalizedBy" ⓘ |
| Riemann curvature tensor | Gaussian curvature via predicate surface "generalizes" ⓘ |
| inverse function theorem | one-dimensional inverse function result from elementary calculus ⓘ |
| Fresnel diffraction theory | geometrical optics shadow boundary description ⓘ |
| Glicksberg fixed-point theorem |
Kakutani fixed-point theorem
via predicate surface "generalizes"
ⓘ
surface form:
Kakutani fixed-point theorem to infinite-dimensional settings
|
| Pascal's triangle |
multinomial theorem
via predicate surface "generalization"
ⓘ
surface form:
Pascal's pyramid
|
| Pascal's triangle | multinomial coefficients via predicate surface "generalization" ⓘ |
| multinomial theorem | binomial theorem via predicate surface "generalizes" ⓘ |
| multinomial theorem |
generalized binomial theorem
ⓘ
surface form:
Newton binomial formula
|
| multinomial theorem | combinatorial generalization of binomial expansion via predicate surface "typeOfGeneralization" ⓘ |
| Kalai–Smorodinsky bargaining solution | multi-person bargaining problems via predicate surface "hasGeneralization" ⓘ |
| Newton's second law of motion | relativistic mechanics via predicate surface "generalizedBy" ⓘ |
| Newton's second law of motion | F = d(γmv)/dt in special relativity via predicate surface "generalizedBy" ⓘ |
| generalized binomial theorem | finite binomial expansion to infinite series via predicate surface "generalizes" ⓘ |
| Gaussian integral | ∫_{−∞}^{∞} e^{−a x^2} dx = √(π/a) via predicate surface "generalization" ⓘ |
| Gauss–Seidel method |
Successive Over-Relaxation
via predicate surface "generalizedBy"
ⓘ
surface form:
Successive Over-Relaxation method
|
| Noetherian module |
Noetherian rings
via predicate surface "generalizes"
ⓘ
surface form:
Noetherian ring
|
| Noetherian module | Noetherian abelian group via predicate surface "isGeneralizationOf" ⓘ |
| Noether's isomorphism theorems | isomorphism theorems for groups via predicate surface "generalizes" ⓘ |
| Noether's isomorphism theorems | isomorphism theorems for rings via predicate surface "generalizes" ⓘ |
| Noether's isomorphism theorems | isomorphism theorems for modules via predicate surface "generalizes" ⓘ |
| Gauss–Bonnet theorem (early form) |
Chern–Weil theory
via predicate surface "hasGeneralization"
ⓘ
surface form:
higher-dimensional Gauss–Bonnet formulas
|
| Gauss–Bonnet theorem (early form) | Chern–Weil theory via predicate surface "hasGeneralization" ⓘ |
| Noetherian space | finite topological space ⓘ |
| Noetherian induction | mathematical induction via predicate surface "generalizes" ⓘ |
| Surreal numbers | Dedekind-complete ordered fields via predicate surface "generalizes" ⓘ |
| Gauss map | Gauss map of hypersurfaces in higher-dimensional Euclidean spaces via predicate surface "generalization" ⓘ |
| Gauss map | normal map in Riemannian geometry via predicate surface "generalization" ⓘ |
| fluctuation–dissipation theorem | Kubo formula via predicate surface "isSpecialCaseOf" ⓘ |
| Euler–Maruyama method | Euler method to stochastic differential equations via predicate surface "generalizes" ⓘ |
| Euler–Maruyama method |
Euler–Maruyama method
via predicate surface "isSpecialCaseOf"
self-linksurface differs
ⓘ
surface form:
stochastic Runge–Kutta method
|
| Poincaré group | Euclidean group to Minkowski spacetime via predicate surface "generalizes" ⓘ |
| Pascal's identity | multinomial identities via predicate surface "hasGeneralization" ⓘ |
| Pascal's identity | q-binomial identities via predicate surface "hasGeneralization" ⓘ |
| Conway polynomial | Alexander polynomial normalization via predicate surface "generalizes" ⓘ |
| Look-and-say sequence | look-and-say sequences in other bases via predicate surface "hasGeneralization" ⓘ |
| Look-and-say sequence | look-and-say sequences using other symbol alphabets via predicate surface "hasGeneralization" ⓘ |
| Berry–Esseen theorem |
Berry–Esseen theorem
via predicate surface "hasGeneralizations"
self-linksurface differs
ⓘ
surface form:
multivariate Berry–Esseen bounds
|
| Berry–Esseen theorem |
Berry–Esseen theorem
via predicate surface "hasGeneralizations"
self-linksurface differs
ⓘ
surface form:
Berry–Esseen bounds for dependent variables
|
| Stefan–Boltzmann law | radiant exitance of a real surface is M = ε σ T^4 via predicate surface "generalization" ⓘ |