BS ISO/IEC 24707:2007

Foreword
Introduction
1 Scope
2 Normative references
3 Terms and definitions
4 Symbols and abbreviations
  4.1 Symbols
  4.2 Abbreviations
5 Requirements and design overview
  5.1 Requirements
  5.2 A family of notations
6 Common Logic abstract syntax and semantics
  6.1 Common Logic abstract syntax
  6.2 Common Logic semantics
  6.3 Importing and identification on a network
  6.4 Satisfaction, validity and entailment
  6.5 Sequence markers, recursion and argument lists:
      discussion
  6.6 Special cases and translations between dialects
7 Conformance
  7.1 Dialect conformance
  7.2 Application conformance
  7.3 Network conformance
Annex A (normative) - Common Logic Interchange
        Format (CLIF)
      A.1 Introduction
      A.2 CLIF Syntax
      A.3 CLIF semantics
      A.4 CLIF conformance
Annex B (normative) - Conceptual Graph Interchange
        Format (CGIF)
      B.1 Introduction
      B.2 CG Core Syntax and Semantics
      B.3 Extended CGIF Syntax
      B.4 CGIF conformance
Annex C (normative) - eXtended Common Logic Markup
        Language (XCL)
      C.1 Introduction
      C.2 XCL Syntax
      C.3 XCL Semantics
      C.4 XCL Conformance
Bibliography

Describes a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.