Wos
E580566
Wos is a surname most notably associated with Larry Wos, an American mathematician and pioneer in automated theorem proving.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Wos canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6257356 — 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: Wos Context triple: [Larry Wos, familyName, Wos]
-
A.
WoS
WoS is a racing-themed video game centered on high-speed car competitions and online multiplayer gameplay.
-
B.
Wossek
Wossek is a small town in what is now the Czech Republic, historically part of the Austro-Hungarian Empire and known as the birthplace of Hermann Kafka, father of writer Franz Kafka.
-
C.
WÜ
WÜ is the vehicle registration code for the city and district of Würzburg in the Lower Franconia region of Bavaria, Germany.
-
D.
WOB
WOB is the vehicle registration code used on license plates for cars registered in Wolfsburg, Germany.
-
E.
Walo
Walo was a precolonial West African kingdom in the lower Senegal River region, known as one of the successor states to the Wolof Empire.
- 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: Wos Target entity description: Wos is a surname most notably associated with Larry Wos, an American mathematician and pioneer in automated theorem proving.
-
A.
WoS
WoS is a racing-themed video game centered on high-speed car competitions and online multiplayer gameplay.
-
B.
Wossek
Wossek is a small town in what is now the Czech Republic, historically part of the Austro-Hungarian Empire and known as the birthplace of Hermann Kafka, father of writer Franz Kafka.
-
C.
WÜ
WÜ is the vehicle registration code for the city and district of Würzburg in the Lower Franconia region of Bavaria, Germany.
-
D.
WOB
WOB is the vehicle registration code used on license plates for cars registered in Wolfsburg, Germany.
-
E.
Walo
Walo was a precolonial West African kingdom in the lower Senegal River region, known as one of the successor states to the Wolof Empire.
- F. None of above. chosen
Statements (15)
| Predicate | Object |
|---|---|
| instanceOf |
American mathematician
ⓘ
human ⓘ mathematician ⓘ pioneer in automated theorem proving ⓘ surname ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| fieldOfWork |
automated theorem proving
ⓘ
logic ⓘ mathematics ⓘ |
| hasNotableBearer | Larry Wos NERFINISHED ⓘ |
| hasSurname | Wos NERFINISHED ⓘ |
| languageOfOrigin | English ⓘ |
| nationality | United States of America ⓘ |
| notableFor | work in automated theorem proving ⓘ |
| usedAs | last name ⓘ |
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: Wos Description of subject: Wos is a surname most notably associated with Larry Wos, an American mathematician and pioneer in automated theorem proving.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.