Triple
T21077297
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Playfair's axiom |
E519271
|
entity |
| Predicate | reformulationOf |
P86346
|
FINISHED |
| Object | Euclid's parallel postulate |
—
|
NE NERFINISHED |
How this triple was built (3 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: Euclid's parallel postulate | Statement: [Playfair's axiom, reformulationOf, Euclid's parallel postulate]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Euclid's parallel postulate Context triple: [Playfair's axiom, reformulationOf, Euclid's parallel postulate]
-
A.
Euclid's postulates
Euclid's postulates are the foundational axioms of classical Euclidean geometry, defining basic properties of points, lines, and planes from which the rest of the geometry is logically derived.
-
B.
Playfair's axiom
chosen
Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.
-
C.
Commentary on the Difficulties of Certain Postulates of Euclid
Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
-
D.
Commentary on Euclid's Elements
Commentary on Euclid's Elements is a late antique philosophical and mathematical treatise by Proclus that analyzes and interprets Euclid’s foundational geometry text while preserving valuable information about earlier Greek mathematics.
-
E.
Thales’ theorem
Thales’ theorem is a fundamental result in Euclidean geometry stating that any angle inscribed in a semicircle is a right angle.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: reformulationOf Context triple: [Playfair's axiom, reformulationOf, Euclid's parallel postulate]
-
A.
mathematicallyReformulatedBy
chosen
Indicates that one entity has been expressed again in a different or more formal mathematical form by another entity.
-
B.
reform
Indicates bringing about significant changes to an existing system, practice, or entity in order to improve or correct it.
-
C.
revisionOf
Indicates that one entity is a modified or updated version of another earlier entity.
-
D.
requestedReform
Indicates that one entity has asked another entity to implement or consider a specific reform or change to an existing system, policy, or practice.
-
E.
subjectToReformBy
Indicates that an entity is undergoing or designated for changes, improvements, or restructuring carried out by another entity.
- 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_69e0b506e59c8190849b71ed07929215 |
completed | April 16, 2026, 10:08 a.m. |
| NER | Named-entity recognition | batch_69e702d77b8081908ecfb05ab391fd39 |
completed | April 21, 2026, 4:53 a.m. |
| PD | Predicate disambiguation | batch_69e5dbfcd5e881908f1e4e0d2d237856 |
completed | April 20, 2026, 7:55 a.m. |
Created at: April 16, 2026, 2:49 p.m.