Triple

T12070454
Position Surface form Disambiguated ID Type / Status
Subject Einstein–Hilbert action E287408 entity
Predicate integratedOver P103046 FINISHED
Object four-dimensional spacetime manifold — LITERAL 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: four-dimensional spacetime manifold | Statement: [Einstein–Hilbert action, integratedOver, four-dimensional spacetime manifold]
PD Predicate disambiguation gpt-5-mini-2025-08-07 
Target predicate: integratedOver
Context triple: [Einstein–Hilbert action, integratedOver, four-dimensional spacetime manifold]
  • A. integralTo
    Indicates that one entity is an essential, non-removable component or part of another entity, such that the whole depends on it to function or be complete.
  • B. integralVersionUsedIn
    Indicates that a specific integral version (e.g., of a component, document, or artifact) is utilized within or by another entity or process.
  • C. integrates
    Indicates that one entity combines or brings together another entity or set of entities into a unified, functioning whole.
  • D. integrandFeature
    Indicates that a specific mathematical feature or property is part of, or characterizes, the integrand in an integration expression or operation.
  • E. isIntegralOver
    Indicates that one algebraic structure (typically a ring element or extension) satisfies a monic polynomial with coefficients in another ring, expressing that it is algebraically dependent on and “integral over” that base ring.
  • F. None of above. chosen

Provenance (4 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_69d6ab4846e081908ee7bbd66a6d3459 completed April 8, 2026, 7:23 p.m.
NER Named-entity recognition batch_69d9100b4ca8819084845ca4c13e34ce completed April 10, 2026, 2:58 p.m.
PD Predicate disambiguation batch_69d902bda47c8190b94860b31df4a98c completed April 10, 2026, 2:01 p.m.
PDg Predicate description generation batch_69d91006e14081909838412df082f794 completed April 10, 2026, 2:58 p.m.
Created at: April 8, 2026, 9:48 p.m.