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 |
|---|---|
| Janet–Cartan theorem | 53C21 ⓘ |
| Janet–Cartan theorem | 58J32 ⓘ |
| Minkowski inequality | normed vector spaces via predicate surface "mathematicalDomain" ⓘ |
| Minkowski inequality | Banach spaces via predicate surface "mathematicalDomain" ⓘ |
| SAT | algebra via predicate surface "mathContent" ⓘ |
| SAT | problem solving and data analysis via predicate surface "mathContent" ⓘ |
| SAT | advanced math via predicate surface "mathContent" ⓘ |
| Theorema Egregium | 53A05 ⓘ |
| Gauss–Bonnet theorem (early form) | 53C20 ⓘ |
| Conway’s Game of Sprouts | topology via predicate surface "mathematicalArea" ⓘ |
| Conway’s Game of Sprouts | graph theory via predicate surface "mathematicalArea" ⓘ |
| Conway’s Game of Sprouts | combinatorial game theory via predicate surface "mathematicalArea" ⓘ |
| Conway’s Game of Sprouts | combinatorics via predicate surface "mathematicalArea" ⓘ |
| Look-and-say sequence | combinatorics via predicate surface "hasMathematicalArea" ⓘ |
| Look-and-say sequence | number theory via predicate surface "hasMathematicalArea" ⓘ |
| Look-and-say sequence | discrete mathematics via predicate surface "hasMathematicalArea" ⓘ |
| Faddeev’s axioms | probability theory via predicate surface "mathematicalDomain" ⓘ |
| Faddeev’s axioms | functional equations via predicate surface "mathematicalDomain" ⓘ |
| Schwarzschild–Milne equations | applied mathematics via predicate surface "mathematicalDomain" ⓘ |
| Schwarzschild–Milne equations | mathematical physics via predicate surface "mathematicalDomain" ⓘ |
| Über die Darstellbarkeit einer Funktion durch eine trigonometrische Reihe | Fourier analysis ⓘ |
| Über die Darstellbarkeit einer Funktion durch eine trigonometrische Reihe | real functions ⓘ |
| Whitney approximation theorem | 57Rxx via predicate surface "mathematicsSubjectClassification" ⓘ |
| Whitney approximation theorem | 58Cxx via predicate surface "mathematicsSubjectClassification" ⓘ |
| Euler’s polyhedron formula | discrete mathematics via predicate surface "mathematicalDomain" ⓘ |
| Euler’s polyhedron formula |
algebraic topology
via predicate surface "mathematicalDomain"
ⓘ
linked to:
K-theory
|
| Itô’s lemma | analysis via predicate surface "mathematicalDomain" ⓘ |
| Itô’s lemma | measure-theoretic probability via predicate surface "mathematicalDomain" ⓘ |
| Cameron–Martin theorem | infinite-dimensional analysis via predicate surface "mathematicalDomain" ⓘ |
| Cameron–Martin theorem | Gaussian measure theory via predicate surface "mathematicalDomain" ⓘ |
| Euler–Lagrange equation | analysis via predicate surface "mathematicalDomain" ⓘ |
| Euler–Lagrange equation | differential equations via predicate surface "mathematicalDomain" ⓘ |
| Abel–Ruffini theorem | commutative algebra via predicate surface "mathematicalDomain" ⓘ |
| Abel–Ruffini theorem | field theory via predicate surface "mathematicalDomain" ⓘ |
| Statistical Independence in Probability, Analysis and Number Theory | probability theory via predicate surface "hasMathematicalSubject" ⓘ |
| Statistical Independence in Probability, Analysis and Number Theory | analysis via predicate surface "hasMathematicalSubject" ⓘ |
| Statistical Independence in Probability, Analysis and Number Theory | number theory via predicate surface "hasMathematicalSubject" ⓘ |
| Hölder inequality | real analysis via predicate surface "mathematicalDomain" ⓘ |
| Hölder inequality | complex analysis via predicate surface "mathematicalDomain" ⓘ |
| Hölder inequality | functional spaces theory via predicate surface "mathematicalDomain" ⓘ |
| Divergent Series | 40A05 via predicate surface "hasMathematicalSubjectClassification" ⓘ |
| Divergent Series | 40Gxx via predicate surface "hasMathematicalSubjectClassification" ⓘ |
| Divergent Series | 40Cxx via predicate surface "hasMathematicalSubjectClassification" ⓘ |
| Hardy–Littlewood conjectures | additive number theory via predicate surface "mathematicalDomain" ⓘ |
| Hardy–Littlewood conjectures | multiplicative number theory via predicate surface "mathematicalDomain" ⓘ |
| Kronecker’s lemma | analysis via predicate surface "mathematicalDomain" ⓘ |
| Carathéodory’s theorem in convex geometry | 52A20 ⓘ |
| Cartan structure equations | exterior calculus on manifolds via predicate surface "mathematicalDomain" ⓘ |
| Cartan structure equations | global differential geometry via predicate surface "mathematicalDomain" ⓘ |
| Picard iteration | analysis via predicate surface "mathematicalDomain" ⓘ |