[kb] Several formal definitions added
[kb] Absolute concepts updated
[kb] Relations updated
[kb] Structs updated
[kb] several small bugs fixed
Merge pull request #19 from ShunkevichDV/master

[kb] Multiple updates