hasMathematicalDiscipline
P127034
predicate
Indicates that one entity is associated with or characterized by a particular branch or field of mathematics.
All labels observed (7)
| Label | Occurrences |
|---|---|
| mathematicalSubfield | 4 |
| containsMathematicalConcepts | 3 |
| hasMathematicalContext | 3 |
| hasMathematicalDiscipline canonical | 3 |
| hasMathematicalDomain | 2 |
| inMathematicsDomain | 2 |
| mathematicalSubject | 2 |
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: hasMathematicalDiscipline
Generated description
Indicates that one entity is associated with or characterized by a particular branch or field of mathematics.
Sample triples (19)
| Subject | Object |
|---|---|
|
Topology
surface form:
Topology (book)
|
algebraic topology ⓘ |
|
Topology
surface form:
Topology (book)
|
geometric topology ⓘ |
|
Topology
surface form:
Topology (book)
|
differential topology ⓘ |
| Anathem | geometry via predicate surface "containsMathematicalConcepts" ⓘ |
| Anathem | cosmology via predicate surface "containsMathematicalConcepts" ⓘ |
| Anathem | quantum mechanics via predicate surface "containsMathematicalConcepts" ⓘ |
| intuitionism | foundations of mathematics via predicate surface "inMathematicsDomain" ⓘ |
| intuitionism | mathematical logic via predicate surface "inMathematicsDomain" ⓘ |
| Cartan magic formula | differential geometry via predicate surface "mathematicalSubfield" ⓘ |
| Cartan magic formula | exterior calculus via predicate surface "mathematicalSubfield" ⓘ |
| Cartan magic formula | tensor calculus via predicate surface "mathematicalSubfield" ⓘ |
| OEIS A002850 | number theory via predicate surface "hasMathematicalDomain" ⓘ |
| OEIS A002850 | combinatorics via predicate surface "hasMathematicalDomain" ⓘ |
| Dolan–Grady relations | Lie algebras via predicate surface "hasMathematicalContext" NERFINISHED ⓘ |
| Dolan–Grady relations | infinite-dimensional algebras via predicate surface "hasMathematicalContext" ⓘ |
| Dolan–Grady relations | representation theory via predicate surface "hasMathematicalContext" ⓘ |
| Siegel zero | analytic number theory via predicate surface "mathematicalSubfield" ⓘ |
| Three-manifolds with positive Ricci curvature | topology of 3-manifolds via predicate surface "mathematicalSubject" ⓘ |
| Three-manifolds with positive Ricci curvature | curvature conditions on manifolds via predicate surface "mathematicalSubject" ⓘ |