KB = <V, C, O, CO, R, RC, RCO, A, AC, AR, ARC, ACO, ARCO>,
where KB is the knowledge base,
V - set of registered values (Values),
C - set of categories (Categories),
O - set of objects (Objects),
CO - set of pairs <c ∈ C, o ∈ O>,
R - set of relations (Relations),
RC - set of triples <r ∈ R, cfrom ∈ C, cto ∈ C>,
RCO - set of triples <rc ∈ RC, ofrom ∈ O, oto ∈ O>,
A - set of attributes (Attributes),
AC - set of triples <c ∈ C, a ∈ A, v ∈ V>,
AR - set of triples <r ∈ R, a ∈ A, v ∈ V>,
ARC - set of triples <rc ∈ RC, a ∈ A, v ∈ V>,
ACO - set of triples <co ∈ CO, a ∈ A, v ∈ V>,
ARCO - set of triples <rco ∈ RCO, a ∈ A, v ∈ V>.