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

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"