← К списку смыслов

Формальная система (логическая структура)

Совокупность аксиом, правил вывода и символов, используемых для формализации и исследования логических или математических структур.

Идентификатор
SL_00000577247
Уровень доверия
0
Обновлено
5 июн. 2026 г., 17:18
Embeddingsактуальны
5Прямые соседиСущности на расстоянии одного шага: классические синсеты, таксономия, связанные смыслы и категории. Доменные синсеты показаны как категории, леммы и системные ссылки не входят.
8Узлы в обзореВсе уникальные сущности локального графа плюс текущий смысл.
7СвязиЧисло строк в группах связей. Одна и та же сущность может учитываться в нескольких группах.
11Типы связейКоличество непустых групп и уникальных типов отношений в локальном графе.

Категории

Предметные области и доменные группы, к которым относится смысл.
0

Ничего не найдено.

Родительские понятия

Более общие понятия и верхние таксономические узлы.
1

Дочерние понятия

Более узкие понятия и дочерние таксономические ветви.
1

Синсеты

Классические семантические множества, где участвует текущий смысл. Доменные группы показаны отдельно в категориях.
1

Связанные смыслы

Соседние смыслы без строгой иерархии.
2

Леммы

Лексические формы, ведущие к этому смыслу.
2

Системные связи

Прочие доменные связи из локального графа.
0

Ничего не найдено.