Цахим шуудангийн бүртгэл: Предметная область в логической семантике