ISO/IEC 8652
E48529
ISO/IEC 8652 is the international standard that formally defines the Ada programming language, including its syntax, semantics, and core features.
All labels observed (2)
| Label | Occurrences |
|---|---|
| ISO/IEC 8652 canonical | 5 |
| ISO/IEC 8652 (Ada language standard) | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T380938 — 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: ISO/IEC 8652 Context triple: [Ada (programming language), standardName, ISO/IEC 8652]
-
A.
ISO/IEC 23270
ISO/IEC 23270 is the international standard that formally defines the C# programming language specification.
-
B.
ISO 7498
ISO 7498 is the international standard that defines the Open Systems Interconnection (OSI) reference model for network communications.
-
C.
ISO/IEC/IEEE 29148
ISO/IEC/IEEE 29148 is an international standard that defines best practices and processes for engineering and managing system and software requirements.
-
D.
ISO 2108
ISO 2108 is the international standard that defines the structure and use of the International Standard Book Number (ISBN) system for identifying books and related publications.
-
E.
IEEE 1532
IEEE 1532 is an extension of the JTAG boundary-scan standard that defines in-system programming and configuration procedures for programmable devices such as FPGAs and CPLDs.
- 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: ISO/IEC 8652 Target entity description: ISO/IEC 8652 is the international standard that formally defines the Ada programming language, including its syntax, semantics, and core features.
-
A.
ISO/IEC 23270
ISO/IEC 23270 is the international standard that formally defines the C# programming language specification.
-
B.
ISO 7498
ISO 7498 is the international standard that defines the Open Systems Interconnection (OSI) reference model for network communications.
-
C.
ISO/IEC/IEEE 29148
ISO/IEC/IEEE 29148 is an international standard that defines best practices and processes for engineering and managing system and software requirements.
-
D.
ISO 2108
ISO 2108 is the international standard that defines the structure and use of the International Standard Book Number (ISBN) system for identifying books and related publications.
-
E.
IEEE 1532
IEEE 1532 is an extension of the JTAG boundary-scan standard that defines in-system programming and configuration procedures for programmable devices such as FPGAs and CPLDs.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
international standard
ⓘ
programming language standard ⓘ |
| appliesTo |
embedded systems programming in Ada
ⓘ
safety-critical software development with Ada ⓘ |
| conformsTo | ISO/IEC standardization rules ⓘ |
| contains |
dynamic semantics for Ada
ⓘ
lexical rules for Ada ⓘ static semantics for Ada ⓘ |
| countryScope | international ⓘ |
| covers |
concurrency features of Ada
ⓘ
exception handling in Ada ⓘ generic units in Ada ⓘ object-oriented features of Ada ⓘ packages in Ada ⓘ real-time programming features of Ada ⓘ tasking features of Ada ⓘ type system of Ada ⓘ |
| defines |
Ada compilation units
ⓘ
core features of the Ada programming language ⓘ exception propagation rules in Ada ⓘ generic instantiation rules in Ada ⓘ library-level program structure in Ada ⓘ overloading rules in Ada ⓘ semantics of the Ada programming language ⓘ standard predefined environment for Ada ⓘ subtype and type rules in Ada ⓘ syntax of the Ada programming language ⓘ tasking and synchronization semantics in Ada ⓘ visibility rules in Ada ⓘ |
| ensures | interoperability of Ada implementations ⓘ |
| field |
programming languages
ⓘ
software engineering ⓘ |
| governs | portable Ada program behavior ⓘ |
| jointTechnicalCommittee | ISO/IEC JTC 1 ⓘ |
| languageName |
Ada (programming language)
ⓘ
surface form:
Ada
|
| languageVersion |
Ada (programming language)
ⓘ
surface form:
Ada 95
|
| publishedBy |
International Electrotechnical Commission
ⓘ
International Organization for Standardization ⓘ |
| revises | original Ada language definition ⓘ |
| specifies |
Ada (programming language)
ⓘ
surface form:
Ada language reference manual
|
| standardFor |
Ada (programming language)
ⓘ
surface form:
Ada programming language
|
| successorOf |
Ada (programming language)
ⓘ
surface form:
MIL-STD-1815A (Ada)
|
| usedFor |
Ada compiler conformance testing
ⓘ
Ada compiler implementation ⓘ formal definition of Ada language behavior ⓘ |
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: ISO/IEC 8652 Description of subject: ISO/IEC 8652 is the international standard that formally defines the Ada programming language, including its syntax, semantics, and core features.
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
ISO/IEC 8652 (Ada language standard)