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 |
|---|---|
| Atiyah–Singer index theorem |
Poincaré–Hopf theorem
via predicate surface "generalizes"
ⓘ
surface form:
Hopf index theorem
|
| Coventrian | Coventry-born person via predicate surface "isHypernymOf" ⓘ |
| Coventrian | long-term resident of Coventry via predicate surface "isHypernymOf" ⓘ |
| Dutch Republicanism |
Republicanism
via predicate surface "broaderConcept"
ⓘ
surface form:
European republicanism
|
| Ulam spiral | higher-dimensional prime spirals via predicate surface "generalization" ⓘ |
| Ulam spiral | alternative starting points and orientations via predicate surface "generalization" ⓘ |
| Ulam spiral | color-coding composites and primes via predicate surface "generalization" ⓘ |
| Hölder inequality | Cauchy–Schwarz inequality via predicate surface "generalizes" ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
inequality between arithmetic and geometric means ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
inequality between arithmetic and harmonic means ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
Cauchy–Schwarz inequality in some formulations ⓘ |
|
Banach spaces
surface form:
Banach space
|
finite-dimensional normed vector space via predicate surface "generalizes" ⓘ |
| Khinchin–Kahane type inequalities |
Khinchin–Kahane type inequalities
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
Khinchin inequality
|
| Khinchin–Kahane type inequalities |
Khinchin–Kahane type inequalities
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
Kahane inequality
|
| Gastropoda | Conchifera via predicate surface "superclass" ⓘ |
| B-tree | binary search tree ⓘ |
| Ramanujan partition congruences | Atkin congruences via predicate surface "generalizedBy" ⓘ |
| Ramanujan partition congruences | Ono’s partition congruences via predicate surface "generalizedBy" ⓘ |
| Knuth’s up-arrow notation | exponentiation via predicate surface "generalizes" ⓘ |
| Knuth’s up-arrow notation | tetration via predicate surface "generalizes" ⓘ |
| Rogers–Ramanujan-type identities |
Rogers–Ramanujan-type identities
via predicate surface "generalizes"
self-linksurface differs
ⓘ
surface form:
Rogers–Ramanujan identities
|
| Wigner–Eckart theorem | selection rules from rotational invariance ⓘ |
| Wigner distribution function | classical phase-space distribution ⓘ |
| uncertainty principle | entropic uncertainty relations via predicate surface "generalizedBy" ⓘ |
| Heisenberg model | t–J model via predicate surface "generalizedBy" ⓘ |
| Heisenberg model | frustrated spin models via predicate surface "generalizedBy" ⓘ |
| Hardy–Littlewood maximal function | one-dimensional Hardy–Littlewood maximal operator ⓘ |
| Hardy–Littlewood conjectures | prime number theorem via predicate surface "generalizes" ⓘ |
| Curie law of magnetization | Curie–Weiss law via predicate surface "isGeneralizedBy" ⓘ |
| Kronecker–Weber theorem | properties of cyclotomic fields studied by Gauss ⓘ |
| Kronecker delta | multi-index Kronecker delta via predicate surface "generalization" ⓘ |
| Lemaître–Tolman metric |
FLRW cosmological models
via predicate surface "generalizes"
ⓘ
surface form:
Friedmann–Lemaître–Robertson–Walker metric
|
| Merkle tree | hash list ⓘ |
| Jacobi ellipsoid | Maclaurin spheroid via predicate surface "generalizes" ⓘ |
| Atbash | can be applied to other alphabets via predicate surface "generalization" ⓘ |
| Atbash | can be applied to Latin alphabet via predicate surface "generalization" ⓘ |
| Weierstrass approximation theorem | Stone–Weierstrass theorem ⓘ |
| Weierstrass factorization theorem | factorization of polynomials into linear factors via predicate surface "generalizes" ⓘ |
| Weierstrass M-test | comparison test for numerical series ⓘ |
| Weierstrass substitution | basic trigonometric substitutions in integration ⓘ |
| Weierstrass preparation theorem | factorization of polynomials over fields ⓘ |
| Weyl character formula | character formulas for sl(2,C) ⓘ |
| Weyl law |
Weyl law
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Weyl–Hörmander spectral asymptotics
|
| Weyl law |
Weyl law
via predicate surface "generalizedBy"
self-linksurface differs
ⓘ
surface form:
Weyl law for pseudodifferential operators
|
| Weyl quantization | canonical quantization via predicate surface "generalizes" ⓘ |
| Weyl algebra | nth Weyl algebra An(k) via predicate surface "generalization" ⓘ |
| Blum complexity measures | time-constructible functions via predicate surface "generalizes" ⓘ |
| Blum complexity measures | space-constructible functions via predicate surface "generalizes" ⓘ |
| Klein–Gordon equation | classical wave equation via predicate surface "generalizes" ⓘ |
| Dirac Lagrangian | curved spacetime via spin connection via predicate surface "generalizedTo" ⓘ |