[kb] Ontologies example added
[kb] Formal statements linked with their sc-texts