Triple
T22423169
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Erdős–Ko–Rado theorem |
E554298
|
entity |
| Predicate | typicalExtremalFamily |
P148126
|
FINISHED |
| Object | star family of k-subsets containing a fixed element |
—
|
LITERAL FINISHED |
How this triple was built (2 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: star family of k-subsets containing a fixed element | Statement: [Erdős–Ko–Rado theorem, typicalExtremalFamily, star family of k-subsets containing a fixed element]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: typicalExtremalFamily Context triple: [Erdős–Ko–Rado theorem, typicalExtremalFamily, star family of k-subsets containing a fixed element]
-
A.
possibleLargerFamily
Indicates that one entity could belong to a larger family group that includes or extends beyond another entity’s family.
-
B.
approximationFamily
Indicates a relationship where one entity serves as an approximation or approximate representation of another within a defined family or set of approximations.
-
C.
extantFamily
Indicates that a family-level taxonomic group currently exists and has living representatives, rather than being extinct.
-
D.
possibleFamily
Indicates that two entities could plausibly be related as members of the same family, though the familial relationship is not confirmed.
-
E.
basedOnFamilyOf
Indicates that one entity is derived from, modeled after, or determined by the family, lineage, or familial characteristics of another entity.
- F. None of above. chosen
Provenance (4 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_69e11e4f2d0c819091aa3558ea2ee630 |
completed | April 16, 2026, 5:37 p.m. |
| NER | Named-entity recognition | batch_69f15a2af620819083338127e78137dc |
completed | April 29, 2026, 1:08 a.m. |
| PD | Predicate disambiguation | batch_69e8989495bc81909d2699fce5992e28 |
completed | April 22, 2026, 9:44 a.m. |
| PDg | Predicate description generation | batch_69e8aa39e3388190b659d59948ebf3e6 |
completed | April 22, 2026, 11 a.m. |
Created at: April 16, 2026, 8:47 p.m.