Triple
T22895447
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hero of Alexandria |
E568160
|
entity |
| Predicate | notableConcept |
P201
|
FINISHED |
| Object | Heron’s formula for the area of a triangle |
—
|
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: Heron’s formula for the area of a triangle | Statement: [Hero of Alexandria, notableConcept, Heron’s formula for the area of a triangle]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Heron’s formula for the area of a triangle Context triple: [Hero of Alexandria, notableConcept, Heron’s formula for the area of a triangle]
-
A.
Triangle area
The Triangle area is a metropolitan region in North Carolina anchored by the cities of Raleigh, Durham, and Chapel Hill, known for its universities, research institutions, and technology industry.
-
B.
Brahmagupta’s theorem
Brahmagupta’s theorem is a classical result in Euclidean geometry that characterizes a special property of cyclic quadrilaterals whose diagonals are perpendicular, relating the orthocenter of the triangle formed by three vertices to the fourth vertex.
-
C.
On Triangles of Every Kind
"On Triangles of Every Kind" is the English title of Regiomontanus’s influential 15th-century treatise on trigonometry, which systematically developed the theory and applications of triangles in mathematics and astronomy.
-
D.
Trekantsambandet
Trekantsambandet is a major Norwegian road and bridge network connecting the towns of Stord, Bømlo, and Sveio in western Norway.
-
E.
Pythagorean theorem
The Pythagorean theorem is a fundamental principle of geometry stating that in a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the other two sides.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Heron’s formula for the area of a triangle Target entity description: Heron’s formula for the area of a triangle is a classical geometric result that expresses a triangle’s area solely in terms of the lengths of its three sides using the semiperimeter.
-
A.
Triangle area
The Triangle area is a metropolitan region in North Carolina anchored by the cities of Raleigh, Durham, and Chapel Hill, known for its universities, research institutions, and technology industry.
-
B.
Brahmagupta’s theorem
Brahmagupta’s theorem is a classical result in Euclidean geometry that characterizes a special property of cyclic quadrilaterals whose diagonals are perpendicular, relating the orthocenter of the triangle formed by three vertices to the fourth vertex.
-
C.
On Triangles of Every Kind
"On Triangles of Every Kind" is the English title of Regiomontanus’s influential 15th-century treatise on trigonometry, which systematically developed the theory and applications of triangles in mathematics and astronomy.
-
D.
Trekantsambandet
Trekantsambandet is a major Norwegian road and bridge network connecting the towns of Stord, Bømlo, and Sveio in western Norway.
-
E.
Pythagorean theorem
The Pythagorean theorem is a fundamental principle of geometry stating that in a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the other two sides.
- F. None of above. chosen
Provenance (2 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_69e2458c23ec81908fa2570692c6614f |
completed | April 17, 2026, 2:37 p.m. |
| NER | Named-entity recognition | batch_69f1801212808190b6471764d6c0b264 |
completed | April 29, 2026, 3:50 a.m. |
Created at: April 17, 2026, 3:40 p.m.