Scope note:
This class is a specialization of E55 Type and comprises the natural languages in the sense of concepts.
This type is used categorically in the model without reference to instances of it, i.e. the Model does not foresee the description of instances of instances of E56 Language, e.g.: "instances of Mandarin Chinese".
It is recommended that internationally or nationally agreed codes and terminology are used to denote instances of E56 Language, such as those defined in ISO 639:1988.
Examples:
- el [Greek]
- en [English]
- eo [Esperanto]
- es [Spanish]
- fr [French]
In First Order Logic:
E56(x) ⊃ E55(x)