Triple
T6801318
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Poincaré–Hopf theorem |
E156192
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object | Gauss–Bonnet theorem |
E29918
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Gauss–Bonnet theorem Context triple: [Poincaré–Hopf theorem, relatedTo, Gauss–Bonnet theorem]
-
A.
Gauss–Bonnet theorem (early form)
chosen
The Gauss–Bonnet theorem (early form) is an early version of the fundamental result in differential geometry that links the total curvature of a surface to its topological characteristics, originally developed by Carl Friedrich Gauss.
-
B.
Theorema Egregium
Theorema Egregium is Gauss’s celebrated theorem in differential geometry showing that the Gaussian curvature of a surface is an intrinsic property independent of how the surface is embedded in space.
-
C.
Gaussian curvature
Gaussian curvature is a fundamental concept in differential geometry that measures how a surface bends at a point by combining its principal curvatures into a single intrinsic quantity.
-
D.
Poincaré–Hopf theorem
The Poincaré–Hopf theorem is a fundamental result in differential topology that relates the sum of the indices of a vector field’s isolated zeros on a compact manifold to the manifold’s Euler characteristic.
-
E.
Nash embedding theorem
The Nash embedding theorem is a fundamental result in differential geometry that shows any Riemannian manifold can be isometrically embedded into some Euclidean space, thereby realizing abstract curved spaces as concrete subsets of standard Euclidean space.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c68826e6a48190a3d220b541e639de |
elicitation | completed |
| NER | batch_69c6d2e595188190a0bb4b595df3adb2 |
ner | completed |
| NED1 | batch_69c71a9b0cc48190819380aeaf0228e7 |
ned_source_triple | completed |
Created at: March 27, 2026, 2:16 p.m.