Triple

T4661785
Position Surface form Disambiguated ID Type / Status
Subject Lemaître–Tolman metric E102548 entity
Predicate satisfies P4233 FINISHED
Object Einstein field equations E1603 NE FINISHED

How this triple was built (2 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: Einstein field equations | Statement: [Lemaître–Tolman metric, satisfies, Einstein field equations]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Einstein field equations
Context triple: [Lemaître–Tolman metric, satisfies, Einstein field equations]
  • A. Einstein field equations chosen
    The Einstein field equations are the core mathematical framework of general relativity, relating the curvature of spacetime to the distribution of matter and energy.
  • B. Einstein–Maxwell equations
    The Einstein–Maxwell equations are the coupled set of field equations in general relativity that describe how spacetime curvature and electromagnetic fields interact and influence each other.
  • C. Raychaudhuri equation
    The Raychaudhuri equation is a fundamental relation in general relativity that describes how the expansion of a congruence of nearby geodesics evolves, playing a key role in the formulation of gravitational focusing and singularity theorems.
  • D. Einstein–Hilbert action
    The Einstein–Hilbert action is the fundamental action in general relativity whose variation yields Einstein’s field equations, expressing gravity as the dynamics of spacetime curvature.
  • E. Wheeler–DeWitt equation
    The Wheeler–DeWitt equation is a fundamental equation in quantum gravity that attempts to describe the quantum state of the entire universe without reference to time.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 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_69bd43d823288190952279faa0d1d066 completed March 20, 2026, 12:55 p.m.
NER Named-entity recognition batch_69bd632b7fb88190821f213620719d6b completed March 20, 2026, 3:09 p.m.
NED1 Entity disambiguation (via context triple) batch_69bdfafcd3908190aabf7975017ce337 completed March 21, 2026, 1:57 a.m.
Created at: March 20, 2026, 1:15 p.m.