John
E265391
John is the given first name of the influential British computer scientist Robin Milner, known for his pioneering work in programming language theory and process calculi.
All labels observed (1)
| Label | Occurrences |
|---|---|
| John canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T2092373 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: John Context triple: [Robin Milner, givenName, John]
-
A.
John
John is traditionally regarded as the author of the New Testament’s Book of Revelation, a prophetic and apocalyptic text in Christian scripture.
-
B.
John
John is the given name of John Perry Barlow, the American poet, essayist, and co-founder of the Electronic Frontier Foundation known for his advocacy of digital rights.
-
C.
John
John is the given name of the renowned British mathematician John H. Conway, known for his work in group theory, number theory, and the invention of the Game of Life.
-
D.
John
John is the given name of John Nance Garner, who served as the 32nd vice president of the United States under President Franklin D. Roosevelt.
-
E.
John
John is the given name of John F. Sattler, likely referring to him in a more informal or abbreviated context.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: John Target entity description: John is the given first name of the influential British computer scientist Robin Milner, known for his pioneering work in programming language theory and process calculi.
-
A.
John
John is the given name of John McCarthy, the American computer scientist who coined the term "artificial intelligence" and was a pioneer in the field.
-
B.
John
John is the given name of the renowned British mathematician John H. Conway, known for his work in group theory, number theory, and the invention of the Game of Life.
-
C.
John
John is the given name of John R. Pierce, an American engineer and scientist known for his pioneering work in communications and satellite technology.
-
D.
John
John is the given name of the influential English philosopher John Locke, a key figure in empiricism and liberal political theory.
-
E.
John
John is the given name of the British biochemist and crystallographer John Kendrew, a Nobel laureate known for determining the structure of myoglobin.
- F. None of above. chosen
Statements (10)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
human ⓘ |
| countryOfCitizenship | United Kingdom ⓘ |
| familyName | Milner ⓘ |
| fieldOfWork |
process calculi
ⓘ
programming language theory ⓘ |
| givenName | John ⓘ |
| notableFor |
pioneering work in process calculi
ⓘ
pioneering work in programming language theory ⓘ |
| occupation | computer scientist ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: John Description of subject: John is the given first name of the influential British computer scientist Robin Milner, known for his pioneering work in programming language theory and process calculi.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.