Triple
T18266116
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Knuth–Bendix order |
E437487
|
entity |
| Predicate | hasAlternativeName |
P39
|
FINISHED |
| Object | KBO |
—
|
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: KBO | Statement: [Knuth–Bendix order, hasAlternativeName, KBO]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: KBO Context triple: [Knuth–Bendix order, hasAlternativeName, KBO]
-
A.
KBL
KBL is the IATA airport code for Hamid Karzai International Airport, the main international gateway serving Kabul, Afghanistan.
-
B.
KBL
KBL is a Philippine political party founded by former president Ferdinand Marcos that played a dominant role during his authoritarian regime in the 1970s and 1980s.
-
C.
Korea Baseball Organization
The Korea Baseball Organization is South Korea’s top professional baseball league, overseeing the country’s premier teams and competitions.
-
D.
Korea National League Championship
The Korea National League Championship is a South Korean football tournament that serves as a key cup-style competition for clubs in the Korea National League system.
-
E.
Korean Basketball League
The Korean Basketball League is South Korea's top professional men's basketball league, featuring domestic and international players in a highly competitive setting.
- 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: KBO Target entity description: KBO is a well-founded term ordering used in automated theorem proving and term rewriting systems to ensure termination of rewrite rules.
-
A.
KBL
KBL is the IATA airport code for Hamid Karzai International Airport, the main international gateway serving Kabul, Afghanistan.
-
B.
KBL
KBL is a Philippine political party founded by former president Ferdinand Marcos that played a dominant role during his authoritarian regime in the 1970s and 1980s.
-
C.
Korea Baseball Organization
The Korea Baseball Organization is South Korea’s top professional baseball league, overseeing the country’s premier teams and competitions.
-
D.
Korea National League Championship
The Korea National League Championship is a South Korean football tournament that serves as a key cup-style competition for clubs in the Korea National League system.
-
E.
Korean Basketball League
The Korean Basketball League is South Korea's top professional men's basketball league, featuring domestic and international players in a highly competitive setting.
- 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_69d8b913351c8190932b6a426de04b41 |
completed | April 10, 2026, 8:47 a.m. |
| NER | Named-entity recognition | batch_69e4ff7af85c81909859e7247738a535 |
completed | April 19, 2026, 4:14 p.m. |
Created at: April 10, 2026, 10:34 a.m.