Triple
T18528185
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | HHVM |
E452770
|
entity |
| Predicate | hasAbbreviationFor |
P43
|
FINISHED |
| Object | HipHop Virtual Machine |
—
|
NE NERFINISHED |
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: HipHop Virtual Machine | Statement: [HHVM, hasAbbreviationFor, HipHop Virtual Machine]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: HipHop Virtual Machine Context triple: [HHVM, hasAbbreviationFor, HipHop Virtual Machine]
-
A.
K Virtual Machine
K Virtual Machine is a lightweight Java virtual machine designed for resource-constrained devices such as mobile phones and embedded systems.
-
B.
JAM virtual machine
The JAM virtual machine is an early abstract machine used for executing concurrent functional languages, serving as a foundational design that influenced later systems like the BEAM virtual machine used by Erlang.
-
C.
Scheme48 virtual machine
The Scheme48 virtual machine is a lightweight, portable runtime system designed to efficiently execute programs written in the Scheme48 dialect of the Scheme programming language.
-
D.
Boogie intermediate verification language
Boogie intermediate verification language is a low-level, language-agnostic formalism designed to serve as a common backend for program verification tools by expressing programs and their correctness properties for automated reasoning.
-
E.
Parrot virtual machine
Parrot virtual machine is a now-discontinued register-based virtual machine designed to efficiently run dynamic programming languages, originally developed for the Perl 6 (Raku) project.
- 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: HipHop Virtual Machine Target entity description: HipHop Virtual Machine is a virtual machine developed by Meta (formerly Facebook) to efficiently execute PHP and Hack code using just-in-time compilation.
-
A.
K Virtual Machine
K Virtual Machine is a lightweight Java virtual machine designed for resource-constrained devices such as mobile phones and embedded systems.
-
B.
JAM virtual machine
The JAM virtual machine is an early abstract machine used for executing concurrent functional languages, serving as a foundational design that influenced later systems like the BEAM virtual machine used by Erlang.
-
C.
Scheme48 virtual machine
The Scheme48 virtual machine is a lightweight, portable runtime system designed to efficiently execute programs written in the Scheme48 dialect of the Scheme programming language.
-
D.
Boogie intermediate verification language
Boogie intermediate verification language is a low-level, language-agnostic formalism designed to serve as a common backend for program verification tools by expressing programs and their correctness properties for automated reasoning.
-
E.
Parrot virtual machine
Parrot virtual machine is a now-discontinued register-based virtual machine designed to efficiently run dynamic programming languages, originally developed for the Perl 6 (Raku) project.
- F. None of above. chosen
Provenance (2 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_69d8d387b5548190aa030dad2cb4947e |
completed | April 10, 2026, 10:40 a.m. |
| NER | Named-entity recognition | batch_69e533f9bd1081909743b24e290b7dfe |
completed | April 19, 2026, 7:58 p.m. |
Created at: April 10, 2026, 11:37 a.m.