Triple

T10389183
Position Surface form Disambiguated ID Type / Status
Subject Weil divisor E244844 entity
Predicate primeDivisorDefinedAs P93935 FINISHED
Object irreducible reduced closed subscheme of codimension one — 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: irreducible reduced closed subscheme of codimension one | Statement: [Weil divisor, primeDivisorDefinedAs, irreducible reduced closed subscheme of codimension one]

Disambiguation candidates (1 decision)

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.

PD Predicate disambiguation gpt-5-mini-2025-08-07 
Target predicate: primeDivisorDefinedAs
Context triple: [Weil divisor, primeDivisorDefinedAs, irreducible reduced closed subscheme of codimension one]
  • A. hasPrimeDivisors
    Indicates that one entity (typically a number) has the other entity or entities as its prime divisors.
  • B. hasPrimeDivisor
    Indicates that one entity (typically a number) has another entity as a prime number that divides it without remainder.
  • C. primeCondition
    Indicates that a condition or requirement is primary, fundamental, or of highest priority within a given context.
  • D. hasPrimeDivisorsOfOrder
    Indicates that one entity possesses prime divisors whose multiplicities (orders in its factorization) satisfy a specified relational condition with respect to another entity.
  • E. primeFactorization
    Indicates that one entity is the decomposition of another entity into a multiset or sequence of prime factors whose product equals the original.
  • F. None of above. chosen

Provenance (4 batches)

Stage Batch ID Job type Status
creating batch_69d381b5116081908d85227bab6d3c0c elicitation completed
NER batch_69d4e9b40dd8819080ac839487020a44 ner completed
PD batch_69d4dfb0e7a88190bec0b7a52c70dfe2 pd completed
PDg batch_69d4e91ce2008190af252c140370b7f2 pdg completed
Created at: April 6, 2026, 12:05 p.m.