Triple

T9838854
Position Surface form Disambiguated ID Type / Status
Subject de Bruijn–Erdős theorem E239169 entity
Predicate generalizes P2372 FINISHED
Object finite graph coloring principles to infinite graphs LITERAL FINISHED

Named-entity recognition

Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's LITERAL 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: finite graph coloring principles to infinite graphs | Statement: [de Bruijn–Erdős theorem, generalizes, finite graph coloring principles to infinite graphs]

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69ca84e314108190978324a4bdb959f8 elicitation completed
NER batch_69cdb34921b881909836ba0f5b42a27b ner completed
Created at: March 30, 2026, 8:33 p.m.