ASL
E641943
ASL is an international scholarly organization devoted to the advancement of research and education in symbolic logic and its applications.
All labels observed (1)
| Label | Occurrences |
|---|---|
| ASL canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T7104879 — 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: ASL Context triple: [Association for Symbolic Logic, abbreviation, ASL]
-
A.
ASL
ASL is the ICAO airline designator used to identify Air Serbia in international aviation operations and communications.
-
B.
ASL
ASL is the three-letter station code used to identify Arsenal Underground station on the London Underground network.
-
C.
American Sign Language
American Sign Language is a natural visual-gestural language used primarily by Deaf communities in the United States and parts of Canada, with its own distinct grammar and vocabulary separate from spoken English.
-
D.
Korean Sign Language
Korean Sign Language is the primary visual-gestural language used by the Deaf community in South Korea, with its own distinct grammar and vocabulary separate from spoken Korean.
-
E.
British Sign Language
British Sign Language is the primary sign language used by Deaf communities in the United Kingdom, with its own distinct grammar, vocabulary, and historical development separate from spoken English.
- 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: ASL Target entity description: ASL is an international scholarly organization devoted to the advancement of research and education in symbolic logic and its applications.
-
A.
ASL
ASL is the ICAO airline designator used to identify Air Serbia in international aviation operations and communications.
-
B.
ASL
ASL is the three-letter station code used to identify Arsenal Underground station on the London Underground network.
-
C.
American Sign Language
American Sign Language is a natural visual-gestural language used primarily by Deaf communities in the United States and parts of Canada, with its own distinct grammar and vocabulary separate from spoken English.
-
D.
Korean Sign Language
Korean Sign Language is the primary visual-gestural language used by the Deaf community in South Korea, with its own distinct grammar and vocabulary separate from spoken Korean.
-
E.
British Sign Language
British Sign Language is the primary sign language used by Deaf communities in the United Kingdom, with its own distinct grammar, vocabulary, and historical development separate from spoken English.
- F. None of above. chosen
Statements (36)
| Predicate | Object |
|---|---|
| instanceOf |
nonprofit organization
ⓘ
scholarly organization ⓘ |
| field |
mathematical logic
ⓘ
philosophical logic ⓘ symbolic logic ⓘ theoretical computer science ⓘ |
| focusesOn |
applications of logic in computer science
ⓘ
applications of logic in mathematics ⓘ applications of logic in philosophy ⓘ education in symbolic logic ⓘ research in symbolic logic ⓘ |
| fullName | Association for Symbolic Logic NERFINISHED ⓘ |
| hasAbbreviation | ASL NERFINISHED ⓘ |
| hasActivity |
organization of scientific meetings
ⓘ
promotion of logic education ⓘ publication of research journals ⓘ support of international collaboration in logic ⓘ |
| hasWebsite | https://aslonline.org ⓘ |
| language | English ⓘ |
| organizes |
ASL Asian Logic Conference
NERFINISHED
ⓘ
ASL European Summer Meeting NERFINISHED ⓘ ASL North American Annual Meeting NERFINISHED ⓘ ASL annual meetings ⓘ logic conferences ⓘ logic workshops ⓘ |
| publishes |
ASL Newsletter
NERFINISHED
ⓘ
Bulletin of Symbolic Logic NERFINISHED ⓘ Journal of Symbolic Logic NERFINISHED ⓘ Review of Symbolic Logic NERFINISHED ⓘ |
| purpose |
advancement of education in symbolic logic
ⓘ
advancement of research in symbolic logic ⓘ promotion of applications of symbolic logic ⓘ |
| scope | international ⓘ |
| supports |
early-career researchers in logic
ⓘ
graduate students in logic ⓘ prizes and awards in logic ⓘ |
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: ASL Description of subject: ASL is an international scholarly organization devoted to the advancement of research and education in symbolic logic and its applications.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.