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 |
|---|---|
| Dirac Lagrangian | gauge-covariant Dirac Lagrangian via predicate surface "generalizedTo" ⓘ |
| Dirac field | nonrelativistic Pauli field via predicate surface "isGeneralizationOf" ⓘ |
| Carathéodory’s theorem in convex geometry | the fact that in ℝ² any point in a convex hull is a convex combination of at most 3 points ⓘ |
| Carathéodory’s theorem in convex geometry | the fact that in ℝ³ any point in a convex hull is a convex combination of at most 4 points ⓘ |
| Carathéodory–Jacobi–Lie theorem | Darboux theorem via predicate surface "generalizes" ⓘ |
| Carathéodory–Fejér interpolation | classical power series coefficient problems for analytic functions ⓘ |
| National health services—Law and legislation—Wales | National health services—Law and legislation—Great Britain via predicate surface "hasBroaderTerm" ⓘ |
| National health services—Law and legislation—Wales | Medical laws and legislation—Wales via predicate surface "hasBroaderTerm" ⓘ |
| GIM mechanism | three-generation CKM framework via predicate surface "generalizedTo" ⓘ |
| Schauder fixed-point theorem | Brouwer fixed-point theorem via predicate surface "generalizes" ⓘ |
| Sperner's lemma |
Sperner's lemma
via predicate surface "hasGeneralization"
self-linksurface differs
ⓘ
surface form:
polytopal Sperner lemma
|
| Sperner's lemma | Tucker's lemma via predicate surface "hasGeneralization" ⓘ |
| Euclidean metric | distance formula in the plane via predicate surface "generalizes" ⓘ |
| Pythagorean theorem | law of cosines via predicate surface "generalizedBy" ⓘ |
| Pythagorean theorem | Pythagorean identity in trigonometry via predicate surface "generalizedBy" ⓘ |
| Pythagorean theorem | Pythagorean theorem in n dimensions via predicate surface "generalizedBy" ⓘ |
| E(n) |
Euclidean group
via predicate surface "generalizes"
ⓘ
surface form:
Euclidean group E(2)
|
| E(n) |
Euclidean group
via predicate surface "generalizes"
ⓘ
surface form:
Euclidean group E(3)
|
| Cartan structure equations | classical formulas for curvature in coordinates ⓘ |
| Banach inverse mapping theorem | inverse function theorem for linear maps between finite-dimensional normed spaces ⓘ |
| Dirac spinors | Pauli spinors to relativistic regime via predicate surface "generalizes" ⓘ |
|
Bjerknes circulation theorem (applications in meteorology)
surface form:
Bjerknes circulation theorem
|
Kelvin circulation theorem to baroclinic fluids via predicate surface "generalizes" ⓘ |
| principle of least action | Newtonian mechanics via predicate surface "generalizes" ⓘ |
| Mammalia | Tetrapoda via predicate surface "superclass" ⓘ |
| Fermat's little theorem |
Euler’s theorem
via predicate surface "generalizedBy"
ⓘ
surface form:
Euler's theorem
|
| Fermat's theorem on sums of two squares | classification of norms from Q(i) via predicate surface "generalizes" ⓘ |
| Fermat's theorem on sums of two squares | theorems on representations by quadratic forms via predicate surface "isSpecialCaseOf" ⓘ |
| Fermat's theorem on sums of two squares | theory of binary quadratic forms via predicate surface "isSpecialCaseOf" ⓘ |
| Fermat point | median point for three terminals in the plane ⓘ |
| Fermat polygonal number theorem |
Lagrange's four-square theorem
via predicate surface "generalizes"
ⓘ
surface form:
Lagrange’s four-square theorem
|
| Fermat polygonal number theorem |
Fermat polygonal number theorem
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
Gauss’s Eureka theorem on triangular numbers
|
|
Cartan connections
surface form:
Cartan connection
|
affine connection via predicate surface "generalizes" ⓘ |
|
Cartan connections
surface form:
Cartan connection
|
Levi-Civita connection via predicate surface "generalizes" ⓘ |
|
Cartan connections
surface form:
Cartan connection
|
Ehresmann connection via predicate surface "generalizes" ⓘ |
| Cartan subalgebras | maximal tori in Lie groups ⓘ |
| Cartan decomposition | orthogonal decomposition with respect to a Cartan involution via predicate surface "generalizes" ⓘ |
| Kähler form |
Kähler form
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Kähler current
|
| Lefschetz operator | cup product with an ample class in algebraic geometry ⓘ |
| Schwinger–Dyson equations | classical Euler–Lagrange equations via predicate surface "generalizes" ⓘ |
| Schwinger–Dyson equations |
Heisenberg operator formulation of quantum mechanics
via predicate surface "generalizes"
ⓘ
surface form:
Heisenberg equations of motion
|
| Schwinger effect | can occur for other charged particles via predicate surface "generalization" ⓘ |
| Schwinger effect | can occur in non-Abelian gauge theories via predicate surface "generalization" ⓘ |
| Schwinger effect | can occur in curved spacetime backgrounds via predicate surface "generalization" ⓘ |
| Laplace transform |
Laplace transform
self-linksurface differs
ⓘ
surface form:
one-sided Laplace transform
|
| Laplace equation | Poisson equation via predicate surface "isSpecialCaseOf" ⓘ |
| Laplace operator |
Laplace operator
via predicate surface "generalization"
self-linksurface differs
ⓘ
surface form:
Laplace–Beltrami operator
|
| Laplace operator | Hodge Laplacian via predicate surface "generalization" ⓘ |
| Bayes’ theorem |
Bayes’ theorem
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Bayes’ theorem for continuous distributions
|
| Lie ring | Lie algebra over Z via predicate surface "generalizes" ⓘ |
| Lie sphere geometry | classical sphere geometry via predicate surface "generalizes" ⓘ |