[kb] Stats reorganized
[kb] Formal definitions updated
[kpm] Sc-agent of search connections updated
[kpm] Agent for main concepts search added
[kb] Small fixes
[kb] Subject domains updated
[kb] Encoding fixed
[kb] Identifier bug fixed
[kb] Encoding problem fixed
[kb] sc-tasks updated