[kb] Several formal definitions added
[kb] Absolute concepts updated
[kb] Relations updated