mathematicalSubjectClassification
P7033
predicate
Indicates that one entity classifies the mathematical subject area or field to which another entity (such as a work, concept, or topic) belongs.
All labels observed (13)
| Label | Occurrences |
|---|---|
| mathematicalDomain | 169 |
| mathematicalArea | 73 |
| mathematicsSubjectClassification | 54 |
| mathematicalSubjectClassification canonical | 53 |
| mathematicalDiscipline | 38 |
| mathematicalField | 18 |
| hasMathematicalSubject | 10 |
| hasMathematicalSubjectClassification | 7 |
| hasMathematicalArea | 6 |
| mathContent | 3 |
| mathematicsSubject | 3 |
| hasMathematicalField | 2 |
| mathematicianSubject | 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: mathematicalSubjectClassification
Generated description
Indicates that one entity classifies the mathematical subject area or field to which another entity (such as a work, concept, or topic) belongs.
Sample triples (437)
| Subject | Object |
|---|---|
| Picard iteration | ordinary differential equations via predicate surface "mathematicalDomain" ⓘ |
| Fermat polygonal number theorem | theory of figurate numbers via predicate surface "mathematicalDomain" ⓘ |
| Lefschetz operator | complex geometry via predicate surface "mathematicalDomain" ⓘ |
| Lefschetz operator | topology via predicate surface "mathematicalDomain" ⓘ |
| Lefschetz operator | representation theory of Lie algebras via predicate surface "mathematicalDomain" ⓘ |
| Laplace equation | partial differential equations via predicate surface "mathematicalField" ⓘ |
| Laplace equation | analysis via predicate surface "mathematicalField" ⓘ |
| Laplace equation | potential theory via predicate surface "mathematicalField" ⓘ |
| Bayes’ theorem | measure-theoretic probability via predicate surface "mathematicalDomain" ⓘ |
| Church–Rosser property | universal algebra via predicate surface "mathematicalDomain" ⓘ |
| Church–Rosser property | category theory via predicate surface "mathematicalDomain" ⓘ |
|
Bezier curves
surface form:
Bézier curve
|
numerical analysis via predicate surface "mathematicalDomain" ⓘ |
|
Bezier curves
surface form:
Bézier curve
|
approximation theory via predicate surface "mathematicalDomain" ⓘ |
|
Bezier curves
surface form:
Bézier curve
|
computational geometry via predicate surface "mathematicalDomain" ⓘ |
| Lagrange's theorem in group theory | algebra via predicate surface "mathematicalDomain" ⓘ |
| Lagrange's theorem in group theory | discrete mathematics via predicate surface "mathematicalDomain" ⓘ |
| Poincaré recurrence theorem | probability theory via predicate surface "mathematicalArea" ⓘ |
| Poincaré recurrence theorem | topological dynamics via predicate surface "mathematicalArea" ⓘ |
| The Sand Reckoner | arithmetical notation via predicate surface "mathematicalField" ⓘ |
| The Sand Reckoner | combinatorics of large numbers via predicate surface "mathematicalField" ⓘ |
|
Book I
surface form:
Book I (Disquisitiones Arithmeticae)
|
arithmetic via predicate surface "mathematicalDiscipline" ⓘ |
| Gauss’s remarkable theorem | geometry via predicate surface "mathematicalDomain" ⓘ |
| Gauss’s remarkable theorem | analysis on manifolds via predicate surface "mathematicalDomain" ⓘ |
| On Conoids and Spheroids | solid of revolution via predicate surface "mathematicalDomain" ⓘ |
| On Conoids and Spheroids | conic geometry via predicate surface "mathematicalDomain" ⓘ |
| Cantor–Bernstein–Schröder theorem | theory of cardinal numbers via predicate surface "mathematicalDomain" ⓘ |
| Dowker–Thistlethwaite notation | topology via predicate surface "mathematicalDomain" ⓘ |
| Conway skein triple (L₊, L₋, L₀) | low-dimensional topology via predicate surface "mathematicalDiscipline" ⓘ |
| Farey tessellation | hyperbolic geometry via predicate surface "mathematicalDomain" ⓘ |
| Farey tessellation | number theory via predicate surface "mathematicalDomain" ⓘ |
| Swan constructed counterexamples over the rational numbers | 13A50 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Swan constructed counterexamples over the rational numbers | 14E08 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Swan constructed counterexamples over the rational numbers | 11R32 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Kakutani equivalence in ergodic theory | dynamical systems via predicate surface "mathematicalDiscipline" ⓘ |
| Kakutani equivalence in ergodic theory | probability theory via predicate surface "mathematicalDiscipline" ⓘ |
| Alexandrov–Hausdorff theorem | 03E15 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Alexandrov–Hausdorff theorem | 54H05 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Lindeberg–Feller central limit theorem | real-valued random variables via predicate surface "mathematicalDomain" ⓘ |
| Lyapunov equation | linear algebra via predicate surface "mathematicalDomain" ⓘ |
| Lyapunov equation | matrix analysis via predicate surface "mathematicalDomain" ⓘ |
| Lyapunov inequality | functional analysis via predicate surface "mathematicalDomain" ⓘ |
| Lyapunov inequality | ordinary differential equations via predicate surface "mathematicalDomain" ⓘ |
| Lyapunov inequality | applied mathematics via predicate surface "mathematicalDomain" ⓘ |
| Jacobi bracket | smooth manifolds via predicate surface "mathematicalDomain" ⓘ |
| Jacobi bracket | differential operators via predicate surface "mathematicalDomain" ⓘ |
| Jacobi’s four-square theorem | 11E25 ⓘ |
| Jacobi’s four-square theorem | 11F27 ⓘ |
| Kolmogorov complexity | theoretical computer science via predicate surface "mathematicalDomain" ⓘ |
| Kolmogorov complexity | mathematical logic via predicate surface "mathematicalDomain" ⓘ |
| Kolmogorov complexity | information theory via predicate surface "mathematicalDomain" ⓘ |