Triple
T5790614
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Peano existence theorem |
E128381
|
entity |
| Predicate | mathematicianAssociated |
P38644
|
FINISHED |
| Object | Giuseppe Peano |
E87088
|
NE FINISHED |
Named-entity recognition
Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's NE type shown above.
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: Giuseppe Peano | Statement: [Peano existence theorem, mathematicianAssociated, Giuseppe Peano]
Disambiguation candidates (2 decisions)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Giuseppe Peano Context triple: [Peano existence theorem, mathematicianAssociated, Giuseppe Peano]
-
A.
Giuseppe Peano
chosen
Giuseppe Peano was an Italian mathematician and logician best known for his foundational work in mathematical logic, the formalization of arithmetic (including the Peano axioms), and contributions to the development of modern symbolic notation.
-
B.
Cesare Burali-Forti
Cesare Burali-Forti was an Italian mathematician and logician best known for formulating the Burali-Forti paradox in set theory.
-
C.
Ulisse Dini
Ulisse Dini was an Italian mathematician known for his contributions to real analysis and the theory of functions, including Dini's theorem on uniform convergence.
-
D.
Julius König
Julius König was a Hungarian mathematician known for his work in set theory, logic, and the foundations of mathematics in the late 19th and early 20th centuries.
-
E.
Enrico Betti
Enrico Betti was a 19th-century Italian mathematician best known for his foundational work in topology, particularly the introduction of Betti numbers.
- 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: mathematicianAssociated Context triple: [Peano existence theorem, mathematicianAssociated, Giuseppe Peano]
-
A.
notableScientist
Indicates that the subject is a scientist who is widely recognized for significant contributions or impact in their field.
-
B.
historicalFigureAssociated
Indicates that there is a notable connection or linkage between an entity and a historical figure, such as influence, collaboration, representation, or involvement in the figure’s life or legacy.
-
C.
involvedScientist
Indicates that a scientist participated in, contributed to, or was otherwise actively involved with a specified project, study, or activity.
-
D.
notableTheorist
Indicates that the subject is recognized as a significant or influential theorist in relation to the object or specified field.
-
E.
hasNotableMathematician
chosen
Indicates that an entity is associated with or linked to a mathematician who is considered notable or distinguished.
- F. None of above.
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c00845ca68819081a2ce3ecca577f7 |
elicitation | completed |
| NER | batch_69c02a5585788190821b8da40259e0e7 |
ner | completed |
| NED1 | batch_69c0a178ccf481909beddf56b66a588d |
ned_source_triple | completed |
| PD | batch_69c021d2cd608190b98a7e3aa7001d27 |
pd | completed |
Created at: March 22, 2026, 3:51 p.m.