KB = <V, C, O, CO, R, RC, RCO, A, AC, AR, ARC, ACO, ARCO>,
де KB - база знань,
V - множина зареєстрованих значень (Values),
С - множина категорій (Categories),
O - множина об’єктів (Objects),
CO - множина пар <c ∈ C, o ∈ O>,
R - множина відношень (Relations),
RC - множина трійок <r ∈ R, cfrom ∈ C, cto ∈ C>,
RCO - множина трійок <rc ∈ RC, ofrom ∈ O, oto ∈ O>,
A - множина атрибутів (Attributes),
AC - множина трійок <c ∈ C, a ∈ A, v ∈ V>,
AR - множина трійок <r ∈ R, a ∈ A, v ∈ V>,
ARC - множина трійок <rc ∈ RC, a ∈ A, v ∈ V>,
ACO - множина трійок <co ∈ CO, a ∈ A, v ∈ V>,
ARCO - множина трійок <rco ∈ RCO, a ∈ A, v ∈ V>.