Triple

T37258633
Position Surface form Disambiguated ID Type / Status
Subject Stone representation theorem E924199 entity
Predicate associatedSpace P205799 FINISHED
Object Stone space of ultrafilters of a Boolean algebra 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: Stone space of ultrafilters of a Boolean algebra | Statement: [Stone representation theorem, associatedSpace, Stone space of ultrafilters of a Boolean algebra]
PD Predicate disambiguation gpt-5-mini-2025-08-07
Target predicate: associatedSpace
Context triple: [Stone representation theorem, associatedSpace, Stone space of ultrafilters of a Boolean algebra]
  • A. associatedSpacetime
    Indicates a relationship where an entity is linked to, or situated within, a particular spacetime region or context.
  • B. associatedSpaceFacility
    Indicates that there is a relationship linking an entity to a specific space-related facility with which it is connected or involved.
  • C. associatedThrough
    Indicates that two entities are connected or related to each other by means of a specified intermediary, context, or linkage.
  • D. associatedUniverse
    Indicates that one entity is linked or belongs to a particular universe, realm, or overarching world context.
  • E. targetSpace
    Indicates the space, area, or region toward which an action, movement, or effect is directed.
  • 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_69f76eabd6c481909d414a80a1345c98 completed May 3, 2026, 3:50 p.m.
NER Named-entity recognition batch_6a037cad051c8190b28b354b89208574 completed May 12, 2026, 7:17 p.m.
PD Predicate disambiguation batch_6a037a11efc08190bb7cacc1325b4dc6 completed May 12, 2026, 7:05 p.m.
PDg Predicate description generation batch_6a037c842b2c819082f1d2db995ac2eb completed May 12, 2026, 7:16 p.m.
Created at: May 3, 2026, 4:15 p.m.