Triple

T31628
Position Surface form Disambiguated ID Type / Status
Subject Nash embedding theorem E631 entity
Predicate concerns P1256 FINISHED
Object Riemannian manifolds
Riemannian manifolds are smooth manifolds equipped with an inner product on each tangent space that allows one to measure lengths, angles, and curvature in a curved geometric setting.
E3649 NE FINISHED

How this triple was built (5 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Riemannian manifolds | Statement: [Nash embedding theorem, concerns, Riemannian manifolds]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Riemannian manifolds
Context triple: [Nash embedding theorem, concerns, Riemannian manifolds]
  • A. 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.
  • B. Hilbert spaces
    Hilbert spaces are complete inner product spaces that provide the fundamental framework for modern functional analysis and many areas of mathematical physics.
  • C. Einstein field equations
    The Einstein field equations are the core mathematical framework of general relativity, relating the curvature of spacetime to the distribution of matter and energy.
  • D. Feynman–Kac formula
    The Feynman–Kac formula is a fundamental result connecting solutions of certain partial differential equations with expectations over stochastic processes, forming a bridge between quantum mechanics, probability theory, and mathematical finance.
  • E. FLRW cosmological models
    FLRW cosmological models are a family of solutions to Einstein’s field equations that describe a homogeneous and isotropic expanding or contracting universe, forming the standard framework for modern cosmology.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Riemannian manifolds
Triple: [Nash embedding theorem, concerns, Riemannian manifolds]
Generated description
Riemannian manifolds are smooth manifolds equipped with an inner product on each tangent space that allows one to measure lengths, angles, and curvature in a curved geometric setting.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Riemannian manifolds
Target entity description: Riemannian manifolds are smooth manifolds equipped with an inner product on each tangent space that allows one to measure lengths, angles, and curvature in a curved geometric setting.
  • A. 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.
  • B. Hilbert spaces
    Hilbert spaces are complete inner product spaces that provide the fundamental framework for modern functional analysis and many areas of mathematical physics.
  • C. Einstein field equations
    The Einstein field equations are the core mathematical framework of general relativity, relating the curvature of spacetime to the distribution of matter and energy.
  • D. Feynman–Kac formula
    The Feynman–Kac formula is a fundamental result connecting solutions of certain partial differential equations with expectations over stochastic processes, forming a bridge between quantum mechanics, probability theory, and mathematical finance.
  • E. FLRW cosmological models
    FLRW cosmological models are a family of solutions to Einstein’s field equations that describe a homogeneous and isotropic expanding or contracting universe, forming the standard framework for modern cosmology.
  • F. None of above. chosen
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: concerns
Context triple: [Nash embedding theorem, concerns, Riemannian manifolds]
  • A. issues
    Indicates that an entity formally produces, releases, or distributes something, such as a document, order, or resource, making it officially available.
  • B. conducts
    Indicates that an entity organizes, directs, or carries out an activity, operation, or process involving another entity.
  • C. involves chosen
    Indicates that an entity participates in, is a part of, or is implicated within a particular event, process, or relationship.
  • D. considered
    Indicates that one entity regards, judges, or thinks about another entity in a particular way or context.
  • E. advises
    Indicates that one entity provides guidance, recommendations, or counsel to another entity.
  • F. None of above.

Provenance (6 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69a2479dec388190967ba648663442c9 completed Feb. 28, 2026, 1:40 a.m.
NER Named-entity recognition batch_69a249ec0d288190ac3a0939db61813b completed Feb. 28, 2026, 1:50 a.m.
NED1 Entity disambiguation (via context triple) batch_69a24e5ec6308190ad27b8b28b3f59d2 completed Feb. 28, 2026, 2:09 a.m.
NEDg Description generation batch_69a250c8cf7c8190b71c65d204d21fd8 completed Feb. 28, 2026, 2:19 a.m.
NED2 Entity disambiguation (via description) batch_69a25147eccc8190b6151a03b064d31c completed Feb. 28, 2026, 2:22 a.m.
PD Predicate disambiguation batch_69a24870417081909c7c01e400c94716 completed Feb. 28, 2026, 1:44 a.m.
Created at: Feb. 28, 2026, 1:44 a.m.