Triple

T25073673
Position Surface form Disambiguated ID Type / Status
Subject Pontryagin classes E627990 entity
Predicate vanishFor P14249 FINISHED
Object contractible base space 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: contractible base space | Statement: [Pontryagin classes, vanishFor, contractible base space]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: vanishFor
Context triple: [Pontryagin classes, vanishFor, contractible base space]
  • A. vanishIn
    Indicates that one entity disappears or ceases to be perceptible within, or as part of, another entity or context.
  • B. vanishesWhen chosen
    Indicates that one entity ceases to exist, be visible, or be present whenever a specified condition involving another entity holds.
  • C. vanishesOn
    Indicates that something ceases to exist, be visible, or have effect when it is on or applied to a particular entity or surface.
  • D. disappearsWith
    Indicates that when one entity ceases to exist, is removed, or becomes unavailable, the other entity simultaneously or consequently also ceases to exist, is removed, or becomes unavailable.
  • E. disappearanceOf
    Indicates that one entity ceases to exist, be present, or be observable in relation to another entity, context, or time.
  • F. None of above.

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_69e2ff2d71dc8190b4758e57d643cbe4 completed April 18, 2026, 3:49 a.m.
NER Named-entity recognition batch_69f45d177c3881909ac5058e3e866d93 completed May 1, 2026, 7:58 a.m.
PD Predicate disambiguation batch_69f442c861188190967655c6d8012380 completed May 1, 2026, 6:06 a.m.
Created at: April 18, 2026, 6:19 a.m.