KBO
E1315961
UNEXPLORED
KBO is a well-founded term ordering used in automated theorem proving and term rewriting systems to ensure termination of rewrite rules.
All labels observed (1)
| Label | Occurrences |
|---|---|
| KBO canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T18266116 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
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
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.