John Farey Sr.
E518712
John Farey Sr. was an English geologist and mathematician best known for describing the Farey sequence of rational numbers.
All labels observed (2)
| Label | Occurrences |
|---|---|
| John Farey | 1 |
| John Farey Sr. canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5424714 — 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.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: John Farey Sr. Context triple: [Derby Philosophical Society, hasMember, John Farey Sr.]
-
A.
William Cayley
William Cayley was a notable figure after whom Mount Cayley in British Columbia, Canada, was named, likely reflecting his prominence in regional or national history.
-
B.
Augustus De Morgan
Augustus De Morgan was a 19th-century British mathematician and logician known for formulating De Morgan's laws and contributing foundational work to symbolic logic.
-
C.
George Green
George Green was a 19th-century British mathematician and physicist renowned for pioneering work in potential theory and for introducing Green's functions, which became fundamental tools in mathematical physics.
-
D.
Brook Taylor
Brook Taylor was an English mathematician best known for developing Taylor's theorem and Taylor series, fundamental tools in mathematical analysis.
-
E.
Arthur Cayley
Arthur Cayley was a 19th-century British mathematician renowned for his foundational work in matrix theory and abstract algebra.
- 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: John Farey Sr. Target entity description: John Farey Sr. was an English geologist and mathematician best known for describing the Farey sequence of rational numbers.
-
A.
William Cayley
William Cayley was a notable figure after whom Mount Cayley in British Columbia, Canada, was named, likely reflecting his prominence in regional or national history.
-
B.
Augustus De Morgan
Augustus De Morgan was a 19th-century British mathematician and logician known for formulating De Morgan's laws and contributing foundational work to symbolic logic.
-
C.
George Green
George Green was a 19th-century British mathematician and physicist renowned for pioneering work in potential theory and for introducing Green's functions, which became fundamental tools in mathematical physics.
-
D.
Brook Taylor
Brook Taylor was an English mathematician best known for developing Taylor's theorem and Taylor series, fundamental tools in mathematical analysis.
-
E.
Arthur Cayley
Arthur Cayley was a 19th-century British mathematician renowned for his foundational work in matrix theory and abstract algebra.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
geologist
ⓘ
human ⓘ mathematician ⓘ |
| areaOfInfluence |
economic geology
ⓘ
number theory ⓘ stratigraphy ⓘ |
| burialPlace | St. Marylebone Parish Churchyard NERFINISHED ⓘ |
| countryOfCitizenship |
Kingdom of Great Britain
ⓘ
United Kingdom ⓘ |
| dateOfBirth | 1766-01-24 ⓘ |
| dateOfDeath | 1826-01-06 ⓘ |
| described | Farey sequence NERFINISHED ⓘ |
| describedIn | Dictionary of National Biography NERFINISHED ⓘ |
| educatedAt | Woburn grammar school NERFINISHED ⓘ |
| employer | Francis Russell, 5th Duke of Bedford NERFINISHED ⓘ |
| ethnicGroup | English ⓘ |
| familyName | Farey NERFINISHED ⓘ |
| fieldOfWork |
geology
ⓘ
mathematics ⓘ mineralogy ⓘ surveying ⓘ |
| genre | scientific writing ⓘ |
| givenName | John NERFINISHED ⓘ |
| hasChild | John Farey Jr. NERFINISHED ⓘ |
| hasPart | Farey series article in Philosophical Magazine ⓘ |
| hasRelative |
Joseph Farey
NERFINISHED
ⓘ
Samuel Farey NERFINISHED ⓘ |
| knownFor | description of the Farey sequence of rational numbers ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | Geological Society of London NERFINISHED ⓘ |
| notableStudentOrProtégé | John Farey Jr. NERFINISHED ⓘ |
| notableWork |
Farey sequence
NERFINISHED
ⓘ
General View of the Agriculture and Minerals of Derbyshire NERFINISHED ⓘ |
| occupation |
geologist
ⓘ
mathematician ⓘ surveyor ⓘ writer ⓘ |
| placeOfBirth |
Bedfordshire
NERFINISHED
ⓘ
England ⓘ Woburn NERFINISHED ⓘ |
| placeOfDeath |
England
ⓘ
London, England ⓘ
surface form:
London
|
| publishedIn | Philosophical Magazine NERFINISHED ⓘ |
| residence |
Derbyshire
NERFINISHED
ⓘ
London, England ⓘ
surface form:
London
|
| sexOrGender | male ⓘ |
| workedOn | geological survey of Derbyshire ⓘ |
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.
Instruction
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.
Input
Subject: John Farey Sr. Description of subject: John Farey Sr. was an English geologist and mathematician best known for describing the Farey sequence of rational numbers.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
John Farey