isSmoothManifold
P152475
predicate
Indicates that the entity is a manifold whose local structure is modeled on smooth Euclidean space and whose transition maps are infinitely differentiable.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| manifoldType | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
true ⓘ |
|
Nirenberg problem in differential geometry
surface form:
Nirenberg problem
|
sphere via predicate surface "manifoldType" ⓘ |