Red Devils
E1235411
UNEXPLORED
Red Devils is the mascot name representing the athletic teams and school spirit of Halls High School.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Red Devils canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T16829074 — 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: Red Devils Context triple: [Halls High School, hasMascot, Red Devils]
-
A.
Red Devils
Red Devils is the famous nickname of the British 6th Airborne Division, an elite World War II paratroop unit known for its daring airborne operations.
-
B.
Red Devils
The Red Devils are the intercollegiate athletic teams representing Dickinson College in Carlisle, Pennsylvania.
-
C.
Red Devils
Red Devils is the popular nickname of the Belgium national football team, known for its strong performances in international competitions and its talented "golden generation" of players.
-
D.
Red Devils
Red Devils is a widely used nickname in sports, most famously associated with Manchester United Football Club and several national teams.
-
E.
Red Devils
Red Devils is the famous nickname of the British 1st Airborne Division, an elite World War II paratroop unit renowned for its daring airborne operations.
- 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: Red Devils Target entity description: Red Devils is the mascot name representing the athletic teams and school spirit of Halls High School.
-
A.
Red Devils
Red Devils is the famous nickname of the British 1st Airborne Division, an elite World War II paratroop unit renowned for its daring airborne operations.
-
B.
Red Devils
Red Devils is the famous nickname of the British 6th Airborne Division, an elite World War II paratroop unit known for its daring airborne operations.
-
C.
Red Devils
The Red Devils are the intercollegiate athletic teams representing Dickinson College in Carlisle, Pennsylvania.
-
D.
Red Devils
Red Devils is the popular nickname of the Belgium national football team, known for its strong performances in international competitions and its talented "golden generation" of players.
-
E.
Red Devils
Red Devils is a widely used nickname in sports, most famously associated with Manchester United Football Club and several national teams.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.