Triple

T18751417
Position Surface form Disambiguated ID Type / Status
Subject LTB metric E458534 entity
Predicate generalizes P2372 FINISHED
Object Friedmann–Lemaître–Robertson–Walker metric — NE NERFINISHED

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: [LTB metric, generalizes, 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: [LTB metric, generalizes, 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 (2 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_69d8d394dc308190b6725073f5db324c completed April 10, 2026, 10:40 a.m.
NER Named-entity recognition batch_69e579ed4e6881908791f2a6250010a6 completed April 20, 2026, 12:57 a.m.
Created at: April 10, 2026, 11:51 a.m.