Triple
T13166210
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Vampire automated theorem prover |
E312855
|
entity |
| Predicate | hasInputFormat |
P90391
|
FINISHED |
| Object | TPTP |
E900629
|
NE FINISHED |
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: TPTP | Statement: [Vampire automated theorem prover, hasInputFormat, TPTP]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: TPTP Context triple: [Vampire automated theorem prover, hasInputFormat, TPTP]
-
A.
TPTP
chosen
TPTP is a widely used library and standard collection of test problems for automated theorem proving and related logic-based tools.
-
B.
PTP
PTP is a standardized protocol used to transfer digital images from cameras and other imaging devices to computers and other hosts.
-
C.
PTP
PTP is the IATA airport code for Pointe-à-Pitre International Airport, the main air gateway to Guadeloupe in the Caribbean.
-
D.
PTP
PTP is a network-based time synchronization protocol defined by the IEEE 1588 standard that enables highly precise clock alignment across distributed systems.
-
E.
TNTSAT
TNTSAT is a French free-to-air satellite television platform that broadcasts the national digital terrestrial TV channels via satellite.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
PD
Predicate disambiguation
gpt-5-mini-2025-08-07
Target predicate: hasInputFormat Context triple: [Vampire automated theorem prover, hasInputFormat, TPTP]
-
A.
hasInput
Indicates that an entity receives or takes another entity as an input to its process, function, or operation.
-
B.
hasConfigurationFormat
Indicates that an entity uses or is associated with a specific configuration format for its settings or parameters.
-
C.
primaryInputFormat
chosen
Indicates the data format that is expected or used as the main input for a given process, system, or operation.
-
D.
hasInputType
Indicates that an entity takes another entity as its input type for its operation, function, or process.
-
E.
hasFileFormat
Indicates that one entity (typically a digital file or resource) is encoded, stored, or represented using a specific file format defined by the other entity.
- F. None of above.
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_69d806ac3ee081909b2fd27d060aa974 |
completed | April 9, 2026, 8:06 p.m. |
| NER | Named-entity recognition | batch_69d98cf054f88190b05ced98d5a22a62 |
completed | April 10, 2026, 11:51 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69f6eaf6c9ec8190bc0097d62e57e52a |
completed | May 3, 2026, 6:28 a.m. |
| PD | Predicate disambiguation | batch_69d98bbd1d088190b7c69f37fc6eeb64 |
completed | April 10, 2026, 11:46 p.m. |
Created at: April 9, 2026, 9:13 p.m.