Triple

T17064947
Position Surface form Disambiguated ID Type / Status
Subject Einstein static universe E414059 entity
Predicate relatedTo P37 FINISHED
Object Friedmann–Lemaître–Robertson–Walker metric E1311 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: Friedmann–Lemaître–Robertson–Walker metric | Statement: [Einstein static universe, relatedTo, Friedmann–Lemaître–Robertson–Walker metric]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Friedmann–Lemaître–Robertson–Walker metric
Context triple: [Einstein static universe, relatedTo, Friedmann–Lemaître–Robertson–Walker metric]
  • A. Lemaître–Tolman metric
    The Lemaître–Tolman metric is an exact spherically symmetric, inhomogeneous solution of Einstein’s field equations used in cosmology to model non-uniform distributions of matter without assuming spatial homogeneity.
  • B. FLRW cosmological models chosen
    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.
  • C. Milne universe model
    The Milne universe model is a cosmological model that describes an empty, expanding universe with negative spatial curvature, serving as a special-relativistic alternative to general relativistic cosmologies.
  • D. FRW
    FRW is the IATA airport code for Francistown Airport in Francistown, Botswana.
  • E. Gödel metric
    The Gödel metric is a solution to Einstein's field equations that describes a rotating universe allowing for closed timelike curves and thus the theoretical possibility of time travel.
  • 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_69d886cde3d481908d4d01ba88ba7eb7 completed April 10, 2026, 5:12 a.m.
NER Named-entity recognition batch_69e3db806de48190a9ce68b40fc77a74 completed April 18, 2026, 7:29 p.m.
NED1 Entity disambiguation (via context triple) batch_6a01234e9a94819094618ba43b7d22b4 completed May 11, 2026, 12:31 a.m.
Created at: April 10, 2026, 5:34 a.m.