formal proofs for several statements added
Several formal definitions and statements added
Merge pull request #8 from ShunkevichDV/master

[kb]  Several formal proofs, definitions and statements added
[kb] struct descriprion updated
[kb] Encoding bug fixed
Merge pull request #9 from ShunkevichDV/master

[kb] struct description updated
[kb] absolute concepts updated
Merge pull request #10 from ShunkevichDV/master

[kb] absolute concepts updated
[kb] Subject domains added
Merge pull request #11 from ShunkevichDV/master

[kb] Subject domains added
[kb] relations updated
Merge pull request #12 from ShunkevichDV/master

[kb] relations updated
[kb] several images added
[kb] subject domains small bugs fixed
Merge pull request #13 from ShunkevichDV/master

[kb] several images added
Concepts updated
Wrong whitespaces from sc-links removed
[kb] Multiple bugs fixed. Formatting fixed
Merge pull request #14 from ShunkevichDV/master

[kb] absolute concepts updated
[kb] Definitions formal texts updated