ISO/IEC 10514
E129071
ISO/IEC 10514 is the international standard that formally defines the syntax and semantics of the Modula-2 programming language.
All labels observed (5)
| Label | Occurrences |
|---|---|
| ISO/IEC 10514 canonical | 1 |
| ISO/IEC 10514-1 | 1 |
| ISO/IEC 10514-2 | 1 |
| ISO/IEC 10514-3 | 1 |
| ISO/IEC 10514-4 | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1117797 — 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 10514 Context triple: [Modula-2, hasStandard, ISO/IEC 10514]
-
A.
ISO/IEC 24748
ISO/IEC 24748 is an international standard that provides guidance on the application and management of systems and software life cycle processes defined in standards such as ISO/IEC 15288.
-
B.
ISO/IEC 8652
ISO/IEC 8652 is the international standard that formally defines the Ada programming language, including its syntax, semantics, and core features.
-
C.
ISO/IEC 23270
ISO/IEC 23270 is the international standard that formally defines the C# programming language specification.
-
D.
ISO/IEC 19757-3
ISO/IEC 19757-3 is an international standard that defines Schematron, a rule-based schema language for validating the structure and content of XML documents.
-
E.
ISO 10589
ISO 10589 is the international standard that defines the Intermediate System to Intermediate System (IS-IS) routing protocol used for exchanging routing information within an autonomous system.
- 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 10514 Target entity description: ISO/IEC 10514 is the international standard that formally defines the syntax and semantics of the Modula-2 programming language.
-
A.
ISO/IEC 24748
ISO/IEC 24748 is an international standard that provides guidance on the application and management of systems and software life cycle processes defined in standards such as ISO/IEC 15288.
-
B.
ISO/IEC 8652
ISO/IEC 8652 is the international standard that formally defines the Ada programming language, including its syntax, semantics, and core features.
-
C.
ISO/IEC 23270
ISO/IEC 23270 is the international standard that formally defines the C# programming language specification.
-
D.
ISO/IEC 19757-3
ISO/IEC 19757-3 is an international standard that defines Schematron, a rule-based schema language for validating the structure and content of XML documents.
-
E.
ISO 10589
ISO 10589 is the international standard that defines the Intermediate System to Intermediate System (IS-IS) routing protocol used for exchanging routing information within an autonomous system.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
international standard
ⓘ
part of ISO/IEC 10514 ⓘ part of ISO/IEC 10514 ⓘ part of ISO/IEC 10514 ⓘ part of ISO/IEC 10514 ⓘ programming language standard ⓘ |
| category |
information technology standard
ⓘ
programming language specification ⓘ |
| conformsTo | formal description techniques for programming languages ⓘ |
| defines |
behavior of conforming Modula-2 programs
ⓘ
conformance requirements for Modula-2 implementations ⓘ semantics of Modula-2 ⓘ syntax of Modula-2 ⓘ |
| hasPart |
ISO/IEC 10514
self-linksurface differs
ⓘ
surface form:
ISO/IEC 10514-1
ISO/IEC 10514 self-linksurface differs ⓘ
surface form:
ISO/IEC 10514-2
ISO/IEC 10514 self-linksurface differs ⓘ
surface form:
ISO/IEC 10514-3
ISO/IEC 10514 self-linksurface differs ⓘ
surface form:
ISO/IEC 10514-4
|
| jointTechnicalCommittee | ISO/IEC JTC 1 ⓘ |
| language | English ⓘ |
| languageFamily | Modula language family ⓘ |
| languageType | procedural programming language ⓘ |
| publishedBy |
International Electrotechnical Commission
ⓘ
International Organization for Standardization ⓘ |
| relatedStandard |
ISO/IEC 1539
ⓘ
ISO/IEC 8652 ⓘ ISO/IEC 9899 ⓘ |
| relatedTo | Niklaus Wirth ⓘ |
| scope |
base language of Modula-2
ⓘ
standard library facilities of Modula-2 ⓘ |
| specifies |
exception handling behavior of Modula-2
ⓘ
input-output facilities of Modula-2 ⓘ lexical structure of Modula-2 ⓘ module system of Modula-2 ⓘ procedure semantics of Modula-2 ⓘ type system of Modula-2 ⓘ |
| standardFor |
Modula-2
ⓘ
base language of Modula-2 ⓘ |
| subjectArea |
programming languages
ⓘ
software engineering ⓘ |
| title |
Modula-2 – Base language
ⓘ
Modula-2 ⓘ
surface form:
Modula-2 – Generic extensions
Modula-2 ⓘ
surface form:
Modula-2 – Modules and separate compilation
Modula-2 ⓘ
surface form:
Modula-2 – Safety and security extensions
|
| usedBy |
academic researchers in programming languages
ⓘ
compiler implementers ⓘ standards organizations ⓘ |
| usedFor | specifying Modula-2 compiler conformance ⓘ |
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 10514 Description of subject: ISO/IEC 10514 is the international standard that formally defines the syntax and semantics of the Modula-2 programming language.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
ISO/IEC 10514-1
this entity surface form:
ISO/IEC 10514-2
this entity surface form:
ISO/IEC 10514-3
this entity surface form:
ISO/IEC 10514-4