Triple
T36468572
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Kolmogorov space |
E898482
|
entity |
| Predicate | isFirstInHierarchy |
P185541
|
FINISHED |
| Object | T0–T4 separation axioms |
—
|
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: T0–T4 separation axioms | Statement: [Kolmogorov space, isFirstInHierarchy, T0–T4 separation axioms]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: isFirstInHierarchy Context triple: [Kolmogorov space, isFirstInHierarchy, T0–T4 separation axioms]
-
A.
isFirstToInclude
Indicates that an entity is the earliest or original one to incorporate or contain another specified entity, feature, or element.
-
B.
isFirstInCategory
Indicates that an entity is the earliest or primary member within a defined category or group.
-
C.
hasHierarchyAbove
Indicates that one entity occupies a higher or superior level in an ordered structure or chain of command relative to another entity.
-
D.
wasFirstOf
Indicates that the subject is the earliest or initial instance in a series, sequence, or group of similar entities or events.
-
E.
isFirstOrderIn
Indicates that an entity participates in a relationship or process as the primary or first-order element, rather than through a secondary or higher-order connection.
- 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_69f76e58ebd88190b75d9b169b59d793 |
completed | May 3, 2026, 3:48 p.m. |
| NER | Named-entity recognition | batch_69f7be9d07ac8190adf796cbef60daf6 |
completed | May 3, 2026, 9:31 p.m. |
| PD | Predicate disambiguation | batch_69f7bccf05bc8190b61fdb2b2a315811 |
completed | May 3, 2026, 9:23 p.m. |
| PDg | Predicate description generation | batch_69f7be9b9ab481908328e0e8d8ac73d4 |
completed | May 3, 2026, 9:31 p.m. |
Created at: May 3, 2026, 4:10 p.m.