Triple
T23016811
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Mare Crisium |
E573050
|
entity |
| Predicate | hasNearbyCrater |
P34244
|
FINISHED |
| Object | Proclus |
—
|
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: Proclus | Statement: [Mare Crisium, hasNearbyCrater, Proclus]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Proclus Context triple: [Mare Crisium, hasNearbyCrater, Proclus]
-
A.
Proclus
Proclus was a prominent 5th-century Neoplatonist philosopher best known for his systematic commentaries on Plato and for shaping later pagan and Christian metaphysical thought.
-
B.
Proclus of Constantinople
Proclus of Constantinople was a 5th-century Archbishop of Constantinople and influential theologian known for his sermons and defense of orthodox Christology during the Nestorian controversy.
-
C.
Simplicius of Cilicia
Simplicius of Cilicia was a 6th-century Neoplatonist philosopher and commentator whose detailed exegeses on Aristotle and Presocratic thinkers, including Parmenides, are key sources for ancient Greek philosophy.
-
D.
Iamblichus of Chalcis
Iamblichus of Chalcis was a Neoplatonist philosopher and mystic whose synthesis of Platonic thought with religious ritual and theurgy profoundly shaped later pagan and Christian philosophy.
-
E.
Eutocius of Ascalon
Eutocius of Ascalon was a 6th-century Greek mathematician best known for his commentaries on the works of Archimedes and Apollonius, which helped preserve and transmit classical Greek mathematics.
- 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: Proclus Target entity description: Proclus is a prominent, bright lunar impact crater near Mare Crisium, notable for its sharp rim and extensive ray system visible through small telescopes.
-
A.
Proclus
Proclus was a prominent 5th-century Neoplatonist philosopher best known for his systematic commentaries on Plato and for shaping later pagan and Christian metaphysical thought.
-
B.
Proclus of Constantinople
Proclus of Constantinople was a 5th-century Archbishop of Constantinople and influential theologian known for his sermons and defense of orthodox Christology during the Nestorian controversy.
-
C.
Simplicius of Cilicia
Simplicius of Cilicia was a 6th-century Neoplatonist philosopher and commentator whose detailed exegeses on Aristotle and Presocratic thinkers, including Parmenides, are key sources for ancient Greek philosophy.
-
D.
Iamblichus of Chalcis
Iamblichus of Chalcis was a Neoplatonist philosopher and mystic whose synthesis of Platonic thought with religious ritual and theurgy profoundly shaped later pagan and Christian philosophy.
-
E.
Eutocius of Ascalon
Eutocius of Ascalon was a 6th-century Greek mathematician best known for his commentaries on the works of Archimedes and Apollonius, which helped preserve and transmit classical Greek mathematics.
- 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_69e245b764cc8190a51be76f1d9611e1 |
completed | April 17, 2026, 2:37 p.m. |
| NER | Named-entity recognition | batch_69f183e59a1c8190b8048a399a4727cb |
completed | April 29, 2026, 4:07 a.m. |
Created at: April 17, 2026, 3:52 p.m.