hasCoordinateSingularity
P4463
predicate
Indicates that something possesses a point or region where its coordinate description becomes undefined or degenerate, even if the underlying object or space may remain well-behaved.
All labels observed (5)
| Label | Occurrences |
|---|---|
| coordinateSingularityAt | 4 |
| hasCoordinateSingularity canonical | 2 |
| hasSingularityAt | 2 |
| coordinateSingularityOf | 1 |
| hasCoordinateSingularityAt | 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: hasCoordinateSingularity
Generated description
Indicates that something possesses a point or region where its coordinate description becomes undefined or degenerate, even if the underlying object or space may remain well-behaved.
Sample triples (10)
| Subject | Object |
|---|---|
| Schwarzschild black hole | at r = r_s in Schwarzschild coordinates ⓘ |
| Schwarzschild radius | Schwarzschild coordinates via predicate surface "coordinateSingularityAt" ⓘ |
| Reissner–Nordström metric | at r = r_+ in Schwarzschild-like coordinates ⓘ |
| Schwarzschild coordinates | Schwarzschild radius via predicate surface "hasCoordinateSingularityAt" ⓘ |
| Boyer–Lindquist coordinates | event horizon of Kerr black hole via predicate surface "coordinateSingularityAt" ⓘ |
| Boyer–Lindquist coordinates | Δ = 0 via predicate surface "coordinateSingularityAt" ⓘ |
| Rindler horizon | Rindler coordinates via predicate surface "coordinateSingularityOf" NERFINISHED ⓘ |
| Rindler coordinates | Rindler horizon via predicate surface "coordinateSingularityAt" NERFINISHED ⓘ |
| Paczynski–Wiita potential | r = r_s via predicate surface "hasSingularityAt" ⓘ |
| Coulomb potential | r = 0 via predicate surface "hasSingularityAt" ⓘ |