# General Environment Description Language
## 5 Conceptual System and Its Elements
### Features
It can be written:_
```
1{
2\"name\":oFSName,
3\"features\":oFNames
4}
```
_where:_

* \(oFSName\)_--a_ \(|\)_SON string containing the name of the feature set uniquely identifying the feature set,_
* \(oFNames\)_--is a_ \(|\)_SON array containing a finite ordered set of feature names_ \(oFName\)_,_ \(aFNames^{o}\) _=_ \((oFName^{o}_{1},...,oFName^{o}_{m},...,oFName^{o}_{M})\)_, the feature having the name_ \(oFName\) _has to be defined in the conceptual system,_ \(\forall oFName^{o}\in aFNames^{o}\exists oF^{o}:aFNames^{o}=elem(oFS^{o},aFNames) \wedge oFS^{o}\in aF\overline{So}\in aF\overline{So}^{o}\wedge aFS^{o}=elem(oCS^{o},aFS) \wedge oCS^{o}=elem\left(IK^{o},oCS\right)\wedge oF^{o}\in a\overline{Fo}^{o} \wedge aF^{o}=elem(oCS^{o},aF)\wedge oFName^{o}=elem\left(oF^{o},oFName\right) \wedge IK^{o}\in IK\)_,_

\(oFS=oFSName\times aFNames\)_. For example:
```
1{
2\"name\":colour,
3\"features\":[
4\"red\",
5\"green\",
6\"blue\"
7]
8}
```
### Instance Concepts

**Definition 7**. : _An instance concept \(oIC\) is a \(|\)SON object defining a set of all instances that are similar in some aspects. The instance concept is defined as follows:_
```
1{
2\"name\":oICName,
3\"features\":oICFeatures,
4\"relationshipConcepts\":oICRelationshipConcepts,
5\"actionConcepts\":oICActionConcepts,
6\"instanceConcepts\":oICInstanceConcepts,
7}
```
_where:_

* _text/folCName--a_ \(|\)_SON string containing the name of an instance concept uniquely identifying the concept,_
* \(oICFeatures\)_--a_ \(|\)_SON array containing a set of elements called a_ \(oICFeature\) _(o_ICFeatures_ _is optional)._ _The_ \(oICFeature\) _is a_ \(|\)_SON object defining a narrowed set of values for the existing feature_ \(oF\)_. The object is constructed as follows:_
```
1{
2\"name\":oFName,
3\"range\":oICFRange,
4}
```
_where:_

* _oFName_-- _is a JSON string containing a name of an existing feature, \(\exists\sigma\)F\({}^{o}:oFName^{o}=\mathit{elem}(oF^{o},oFName)\wedge oF^{o}\in \widehat{aF^{o}}\wedge aF^{o}=\mathit{elem}(oCS^{o},aF)\wedge oCS^{o}=\mathit{elem}( IK^{o},oCS)\wedge IK^{o}\in IK\),_
* _oICFRange_-- _is a JSON object defining a range of values from the domain of the feature to which a value of an instance feature has to belong to be in the set of the instance concept,_
```
1{
2\"set\":oICFRSet,
3\"min\":oICFRMin,
4\"max\":oICFRMax,
5}
```
* _oICFRSet_-- _is a JSON string or an array defining a set of values from the domain of the feature (optional),_
* _oICFRMin_-- _is a JSON string or decimal containing a minimal value of the range (optional),_
* _oICFRMax_-- _is a JSON string or decimal containing a maximal value of the range (optional),_
```
1 oICFRange=oICFRSet\(\times oICFRMin\times oICFRMax\)
2 LetoICFRange\({}^{o}=(oICRSet^{o},oICFRMin^{o},oICFRMax^{o})\), moreoveroICFRange\({}^{o}\in oICFRange\). 3A set of valuesoICFRange\({}^{o}\) is defined asoICFRange\({}^{o}=\{x:x\in oICFRSet^{o}\wedge x\geq oICFRMin^{o}\wedge x\leq oICFRMax^{o}\}\).IfoICFRMin\({}^{o}\) andoICFRMax\({}^{o}\) are not fixed, thenoICFRange\({}^{o}=\{x:x\in oICFRSet^{o}\}\). * _oICRelationshipConcepts_-- _is a JSON array containing a set of elementsoICRC,oICRelationshipConcepts\({}^{o}=(oICRC^{o}_{1},...,oICRC^{o}_{p})\)._  
_The oICRC is a JSON object indicating a relationship concept. The instance belonging to the instance concept should be in a relationship belonging to the relationship concept. The object is constructed as follows:_
```
1{
2\"relationshipConcept\":oICRName,
3\"role\":oICRrole
4}
```  
_where:_  
* _oICRName_-- _is a JSON string containing a name of an existing relationship concept (defined in Definition 12) to which a relationship should belong, in which there is an instance belonging to the instance concept.