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.