dimensionStatement
P73086
predicate
Indicates that a statement specifies the measured size, extent, or dimensional properties of an entity or relationship.
All labels observed (3)
| Label | Occurrences |
|---|---|
| dimensionCondition | 8 |
| dimensionContext | 2 |
| dimensionStatement canonical | 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: dimensionStatement
Generated description
Indicates that a statement specifies the measured size, extent, or dimensional properties of an entity or relationship.
Sample triples (12)
| Subject | Object |
|---|---|
| Poincaré duality | for an n-dimensional manifold M, H_k(M) is dual to H^{n-k}(M) ⓘ |
| Serre duality | n = dim X via predicate surface "dimensionCondition" ⓘ |
| h-cobordism theorem | dimension at least 5 via predicate surface "dimensionCondition" ⓘ |
| Darboux theorem | manifold dimension is even via predicate surface "dimensionCondition" ⓘ |
| Liouville–Arnold theorem | 2n-dimensional symplectic manifold with n integrals in involution via predicate surface "dimensionCondition" ⓘ |
| Strominger–Yau–Zaslow conjecture | fibers are real n-dimensional tori for n-dimensional Calabi–Yau manifolds ⓘ |
| Fefferman metric in several complex variables | complex dimension at least 2 via predicate surface "dimensionContext" ⓘ |
| Hirzebruch signature theorem | dimension is a multiple of 4 via predicate surface "dimensionCondition" ⓘ |
| Rindler wedge | often illustrated in 1+1 dimensional Minkowski spacetime via predicate surface "dimensionContext" ⓘ |
| Lefschetz duality | n-dimensional manifold via predicate surface "dimensionCondition" ⓘ |
| Hopf conjecture (on Euler characteristic and curvature) | even dimension via predicate surface "dimensionCondition" ⓘ |
| Mostow rigidity theorem | >= 3 via predicate surface "dimensionCondition" ⓘ |