Triple
T5570683
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Fermat number |
E146191
|
entity |
| Predicate | modularProperty |
P64872
|
FINISHED |
| Object | F_n ≡ 2 (mod F_0 F_1 … F_{n-1}) |
—
|
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: F_n ≡ 2 (mod F_0 F_1 … F_{n-1}) | Statement: [Fermat number, modularProperty, F_n ≡ 2 (mod F_0 F_1 … F_{n-1})]
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: modularProperty
Context triple: [Fermat number, modularProperty, F_n ≡ 2 (mod F_0 F_1 … F_{n-1})]
-
A.
isModular
Indicates that something is composed of distinct, interchangeable parts or units that can be independently created, modified, or replaced within a larger whole.
-
B.
metaProperty
Indicates that one property functions as a higher-level descriptor or attribute about another property, rather than about an entity directly.
-
C.
modulusType
Indicates the type or category of modulus associated with an entity or operation (e.g., which modulus definition or scheme is being used).
-
D.
resinProperty
Indicates that a resin possesses or is characterized by a specific property or attribute.
-
E.
transformationProperty
Indicates that one entity has a specific behavior, constraint, or characteristic related to how it changes, converts, or is transformed into another form or state.
- 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_69c008ffed108190a084602227af6157 |
completed | March 22, 2026, 3:21 p.m. |
| NER | Named-entity recognition | batch_69c020502a288190af37f9ebb88fccae |
completed | March 22, 2026, 5:01 p.m. |
| PD | Predicate disambiguation | batch_69c01b12826c8190969a584d0f53aa44 |
completed | March 22, 2026, 4:38 p.m. |
| PDg | Predicate description generation | batch_69c01f4032408190a4f0d2eb21ebd870 |
completed | March 22, 2026, 4:56 p.m. |
Created at: March 22, 2026, 3:37 p.m.